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