Малая теорема Ферма

Определение. Если p — простое и целое a не делится на p, то a^(p−1) ≡ 1 (mod p). Эквивалентно: a^p ≡ a (mod p) для любого целого a. Основа тестов простоты.

В каких главах встречается

• Натуральные числа: от счёта до глубин теории чисел

Связанные концепты

Требуются перед изучением:

• Простое число
• Сравнение по модулю