Sea formula_3 un grupo finito cualquiera y sea formula_94 un subgrupo normal maximal de formula_82 Entonces, formula_96 es simple.