Legyen m\gt 0 tetszőleges pozitív, a pedig egy tetszőleges egész szám. Tegyük fel, hogy létezik olyan k\gt 0 pozitív kitevő, amelyre teljesül az alábbi kongruencia:
a^k\equiv 1\pmod mEkkor a relatív prím m-hez.
Legyen m\gt 0 tetszőleges pozitív, a pedig egy tetszőleges egész szám. Tegyük fel, hogy létezik olyan k\gt 0 pozitív kitevő, amelyre teljesül az alábbi kongruencia:
a^k\equiv 1\pmod mEkkor a relatív prím m-hez.