Es sei
eine
zyklische Gruppe,
repräsentiert durch die Elemente . Das Einselement erzeugt die Gruppe, das muss dann auch für die zu isomorphe Untergruppe von gelten. Die Linksaddition mit ist die Zuordnung
-
Das ist also ein
Zykel
der Ordnung . Das Element geht auf die -fache Hintereinanderausführung dieses Zykels.