Restklassenkörper von Z/Wilson/Fakt mit Beweislink

Es sei   eine Primzahl.

Dann ist  .