donde cada factor o su inverso están en formula_6 Entonces, formula_38 es un subgrupo de formula_39 que es un subgrupo de cualquier subgrupo formula_13 que contenga a formula_6