Dado que un grupo generado por un elemento de "G" es, en sí mismo, un subgrupo de "G", basta con demostrar que el único subgrupo de "G" que contiene a "a" es el mismo "G" para probar que éste es cíclico.