Euler-Fermat tétel

Legyen $m>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:

Itt $\phi$ a 20.7. Definíció szerinti Euler-féle $\phi$-függvényt jelöli, az $a^{\phi (m)}$ kifejezés alatt pedig a 18.8. Tétel szerinti hatványozást értjük.