Zahlentheorie/Primzahlen/Kleiner Fermat/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Ist nicht durch teilbar, so definiert ein Element in der Einheitengruppe ; diese Gruppe hat die Ordnung , und nach dem Satz von Lagrange gilt . Durch Multiplikation mit ergibt sich die Behauptung. Für Vielfache von gilt die Aussage ebenso, da dann beidseitig steht.

Zur bewiesenen Aussage