Большинство определений, аксиом и теорем в алгебре - не надо. Потому что в алгебре нет задач на доказательства. Там важно правильно решить задание.А в матанализе, где задач почти нет, а доказательств навалом, там без правильного знания аксиом  теорему не докажешь. Только мат.анализ это продвинутый вуз, а не школа.  И стереометрия это задачки повышенной трудности. Решение такой задачки на экзамене мне обеспечило моментальную пятерку, при том что остальные задачки я решила не все. Причем опять-таки  на экзаменах задач на доказательство по стереометрии,  скорее всего, самый минимум. У меня на экзамене была задачка на посчитать. Соответственно мне не важно помнить теоремы, мне важно было помнить многоэтажные формулы.   И общие свойства.