
Todo número a no divisible por un primo p deja residuo 1 al elevarse a la potencia p−1 y dividirse entre p. En términos de congruencias, esto se escribe así:
ap−1≡1(modp)
Otra forma de presentar este teorema es multiplicando por a:
ap≡a(modp)
En esta otra forma se puede omitir la condición de que a no es divisible entre p, puesto que, cuando p divide a a, ambos lados de la identidad anterior son cero.