Un enunciado de teoría de números que afirma que para un primo p y un entero a, a^p ≡ a (mod p); equivalentemente, si a no es divisible por p entonces a^(p-1) ≡ 1 (mod p).
Teorema elemental de teoría de números que afirma que para un primo p y un entero a con p no dividiendo a se tiene a^{p-1} ≡ 1 (mod p); equivalentemente a^p ≡ a (mod p) para todo entero a.
Una afirmación de teoría de números: si p es primo y a es un entero no divisible por p, entonces a^{p−1} ≡ 1 (mod p); equivalente es a^p ≡ a (mod p) para todos los enteros a.