20.20. Tétel
Euler-Fermat tétel
Legyen m\gt 0 tetszőleges pozitív, a pedig egy m-hez relatív prím egész szám. Ekkor teljesül az alábbi kongruencia:
a^{\varphi(m)} \equiv 1\pmod m
Itt \varphi a 20.7. Definíció szerinti Euler-féle \varphi-függvényt jelöli, az a^{\varphi(m)} kifejezés alatt pedig a 18.8. Tétel szerinti hatványozást értjük.
♣