Es necesario que, para todo número natural "a" menor que "p", "a" - 1 sea divisible por "p", o sea, que "a" sea congruente con "uno" módulo "p" (en notación moderna como "a" ≡ 1 (mod "p")).