Restklassenkörper von Z/Wilson/Fakt

Der Satz von Wilson

Sei eine Primzahl.

Dann ist .