Die multiplikative Ordnung ist ein Teiler von
. Wir bestimmen zuerst die Ordnung von
. Es ist
-
Daher muss die Ordnung

sein und

ist eine primitive Einheit. Daher gibt es einen
Gruppenisomorphismus
-
der Erzeuger auf Erzeuger abbildet. Die Erzeuger links sind
(die zu
teilerfremden Zahlen),
und diese werden auf die primitiven Einheiten
-
abgebildet.