Entonces, formula_59 sería un subgrupo de