Para ser exactos, todo subgrupo formula_126 de formula_268 es de la forma formula_307, donde, según el teorema anterior, formula_60 es el menor entero positivo de formula_126.