Con Lagrange del Teorema, se puede mostrar fácilmente que cualquier grupo de primer orden $p$ debe ser cíclica. I. e., cualquier grupo de primer orden NO tiene ninguna adecuada, no trivial subgrupos, ya que no hay ningún número entero positivo divisor de un primer $p$ otros de $1 \text{ and}\; p$.
Que sería de aplicación a los grupos de orden $5$.
De ello se sigue que cualquier grupo de orden $5$ (y de cualquier grupo de primer orden) debe ser generado por un solo elemento y es, por lo tanto, cíclico.
N. B. en cualquier Momento usted puede demostrar que un grupo es generado por un elemento: es decir, que existe una $g \in G$ tal que $G = \langle g \rangle$, luego de haber probado (de hecho, por definición) que $G$ es cíclico.