Fermatsche Primzahlen/Exponentenlemma/Fakt/Beweis
Beweis
Wir schreiben mit ungerade. Damit ist
Für ungerades gilt generell die polynomiale Identität (da eine Nullstelle ist)
Also ist ein Teiler von . Da diese Zahl nach Voraussetzung prim ist, müssen beide Zahlen gleich sein, und dies bedeutet .