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.