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 mItt az a^{\varphi(m)} kifejezés alatt egy olyan \varphi(m) tényezős szorzatot értünk, amelynek minden tényezője a.
