Ist ppp prim und p∤ap\nmid ap∤a, dann gilt:
Äquivalent: ap≡a(modp)a^p\equiv a\pmod pap≡a(modp) für alle ganzen aaa.