Небольшой вопрос относительно ФМТ.

Я тут подумал на днях, может, даже поздновато, но все же: было бы неплохо создать единый список тех теорем и формул, разрешенных к использованию во время ФМТ.
Помнится, как-то раз команду срезали за использование неравенства Коши, хоть во время некоторых других мероприятий для школьников оно используется как очевидное.
Или тот же принцип Дирихле - с ним вообще ничего неясно, ибо по нынешним правилом он не может быть использован.
Так что предлагаю обсудить список разрешенных теорем и формул, а утвержденным заменить это "только то, что входит в школьную программу."