Más aún, formula_56 es el mayor subgrupo de formula_1 en el cual formula_2 es normal.