20.21. Tétel
Az Euler-Fermat tétel megfordítása
Legyen m\gt 0 tetszőleges pozitív, a pedig egy tetszőleges egész szám. Tegyük fel továbbá, hogy létezik olyan k\gt 0 szintén pozitív kitevő, amelyre teljesül az alábbi kongruencia:
a^k\equiv 1\pmod m
Ekkor a relatív prím m-hez.
Itt az a^k kifejezés alatt a 18.8. Tétel szerinti hatványozást értjük.
♣