При столкновении с малой теоремой Ферма (МТФ) хочется сразу её проверить на таблице. Формула выглядит ужасающе. Как её запомнить, как понять, как доказать, как перевести в активную память? Конечно, есть хороший способ "количество переходит в качество", когда много решённых задач на эту тему помогают уложить формулу и алгоритм работы с остатками от деления. Но пытливый ум и руки всё же хотят автоматизировать механизм и наглядно убедиться в формуле. Синтез и анализ в абстрактной математике позволяют с общих теорем спускаться на простые примеры, чтобы лучше понимать обобщающие формулировки...