Deje $G$ ser un grupo cíclico de orden $n$, y deje $a\in G$ ser un generador. Deje $d$ ser un divisor de a $n$.
Ciertamente, $a^{n/d}$ es un elemento de $G$ orden $d$ (en otras palabras, $\langle a^{n/d}\rangle$ es un subgrupo de $G$ orden $d$). Si $a^t\in G$ es un elemento de orden $d$,$a^{td}=e$, por lo tanto $n\mid td$, y por lo tanto $\frac{n}{d}\mid t$. Esto demuestra que $a^t\in \langle a^{n/d}\rangle$, y por lo tanto $\langle a^t\rangle=\langle a^{n/d}\rangle$ (ya que ambos son subgrupos de orden $d$). Por lo tanto, no es exactamente un subgrupo, vamos a llamar a $H_d$ $G$ orden $d$, para cada divisor $d$$n$, y todos estos subgrupos son en sí mismos cíclico.
Cualquier grupo cíclico de orden $d$ $\phi(d)$ generadores, es decir, hay $\phi(d)$ elementos de orden $d$$H_d$, y por lo tanto hay $\phi(d)$ elementos de orden $d$ $G$ . Aquí, $\phi$ es de Euler del phi de la función.
Esto puede ser comprobado para dar sentido a través de la identidad
$$\sum_{d\mid n}\phi(d)=n.$$