Considerando un elemento formula_35 cualquiera, el subgrupo generado por "a" debe satisfacer el teorema de Lagrange.