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í:
$$a^{p-1} \equiv 1 \pmod {p}$$
Otra forma de presentar este teorema es multiplicando por $ a$:
$$a^p \equiv a \pmod {p}$$
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.