Eine zahlentheoretische Aussage, dass für eine Primzahl p und ganze Zahl a gilt a^p ≡ a (mod p); äquivalent: ist a nicht durch p teilbar, dann gilt a^(p-1) ≡ 1 (mod p).
Elementarer Satz der Zahlentheorie, der aussagt, dass für eine Primzahl p und eine ganze Zahl a mit p ∤ a gilt a^{p-1} ≡ 1 (mod p); äquivalent gilt a^p ≡ a (mod p) für alle ganzen Zahlen a.
Eine zahlentheoretische Aussage: Ist p eine Primzahl und a eine ganze Zahl, die nicht durch p teilbar ist, dann gilt a^{p−1} ≡ 1 (mod p); äquivalent gilt a^p ≡ a (mod p) für alle ganzen Zahlen a.