Repitamos el proceso anterior, usando como grupo inicial a formula_107 obteniendo un subgrupo formula_108 que sea normal maximal en formula_109 Repetir el proceso hasta que el subgrupo maximal normal sea formula_110 Como cada subgrupo obtenido está propiamente contenido en el subgrupo anterior, el proceso anterior tiene una cantidad finita de pasos.