Fermat ist doch wohl: \( a^p ≡ a (\mod p) \) für alle a∈ℤ und p Primzahl.
oder anders geschrieben \( a^{p-1} ≡ 1 (\mod p) \) für alle a∈ℤ und p Primzahl.
Nun sind ja sicherlich a und 1 teilerfremd und damit liefert Euler jedenfalls für a∈ N+
\( a^{ \Phi(p)} ≡ 1 ( \mod p )\)
Und wegen \( \Phi(p) = p - 1 \) für Primzahlen, hast du wie gewünscht :
\( a^{p-1} ≡ 1 (\mod p) \)