Legyen d\gt 0 egy tetszőleges pozitív egész szám, p\gt 0 pedig egy tetszőleges pozitív prímszám. Tegyük fel továbbá, hogy d_p egy olyan egész szám, amelyre teljesül az alábbi kongruencia:

d_p\equiv d\pmod{p-1}

Ekkor minden y egész szám esetén teljesül az alábbi kongruencia is:

y^d\equiv y^{d_p}\pmod{p}