y sea formula_11 el subgrupo generado por formula_56.