Es sei p {\displaystyle {}p} eine ungerade Primzahl.
Dann ist die Abbildung
ein Gruppenhomomorphismus.