Legyen p egy pozitív prímszám, a pedig egy tetszőleges egész szám, amely p-vel osztva 1-et ad maradékul, azaz amelyre teljesül az alábbi kongruencia:

a\equiv 1\pmod p

Ekkor tetszőleges c\geq 1 egész kitevő esetén teljesül az alábbi kongruencia is:

a^{p^{c-1}}\equiv 1\pmod{p^c}