Restklassenkörper von Z/Wilson/Fakt/Beweis

Beweis

Dies folgt unmittelbar aus Fakt, da ja die Fakultät durch alle Zahlen zwischen und läuft, also durch alle Einheiten im Restklassenkörper .