Формулировка теоремы: Если p — простое число, a — целое число, не делящееся на p, то a^(p — 1) = 1 (mod p).