Я имел ввиду вообще матшколы, в среднем, а не именно 179. Если там заставляют самим придумать доказательства теорем, которые в вузе дают уже в готовом виде, то это конечно супервысокий уровень. то бишь надо быть Лопиталем, Веерштрассом и прочее в одном лице.