Sea formula_102 un subgrupo normal maximal de formula_82 Si formula_3 es simple, formula_105 En caso contrario, seleccionar un formula_102 que sea normal y maximal.