А как он поймет, какая теорема школьная, а какая нет, если у него в запасе лежит сотня этих теорем, причем олимпиадными он пользуется намного чаще, а школьную программу в глаза не видел    (ее в школах с углубленной математикой никто не видит)Нужен список хотя бы. Пусть его на доску вешают на ЕГЭ.