Para ser exactos, todo subgrupo formula_1 de formula_47 es de la forma formula_86, donde, según el teorema anterior, formula_52 es el menor entero positivo de formula_1.