Restklassenkörper von Z/Wilson/Fakt

Der Satz von Wilson

Es sei eine Primzahl.

Dann ist .