Endliche zyklische Gruppe/Ordnung teilt Gruppenordnung/Fakt

Es sei ${}G$ eine endliche zyklische Gruppe und ${}x\in G$ ein Element.

Dann teilt die Ordnung ${}\operatorname {ord} \,(x)$ die Gruppenordnung ${}\operatorname {ord} \,(G)$ .