Entonces, el subgrupo generado por a contiene todas las potencias de "a".