Más aún, formula_471 es el mayor subgrupo de formula_24 en el cual formula_126 es normal.