Un énoncé de théorie des nombres selon lequel pour un nombre premier p et un entier a, a^p ≡ a (mod p) ; équivalemment, si a n'est pas divisible par p alors a^(p-1) ≡ 1 (mod p).
Théorème élémentaire de la théorie des nombres qui affirme que pour un nombre premier p et un entier a tel que p ne divise pas a, on a a^{p-1} ≡ 1 (mod p) ; équivalemment a^p ≡ a (mod p) pour tout entier a.
Un résultat d'arithmétique : si p est premier et a un entier non divisible par p, alors a^{p−1} ≡ 1 (mod p) ; équivalemment a^p ≡ a (mod p) pour tout entier a.