donde\(H_i\) es normal en\(H_i (H_{i+1} \cap K_{m-1})\text{.}\)\(\{ H_i \}\) Since es una serie de composición,\(H_{i+1} / H_i\) debe ser simple; consecuentemente,\(H_i (H_{i+1} \cap K_{m-1})/ H_i\) e...donde\(H_i\) es normal en\(H_i (H_{i+1} \cap K_{m-1})\text{.}\)\(\{ H_i \}\) Since es una serie de composición,\(H_{i+1} / H_i\) debe ser simple; consecuentemente,\(H_i (H_{i+1} \cap K_{m-1})/ H_i\) es\(H_{i+1}/H_i\) o Es\(H_i/H_i\text{.}\) decir,\(H_i (H_{i+1} \cap K_{m-1})\) debe ser\(H_i\) o\(H_{i+1}\text{.}\) Eliminando cualquier inclusiones inapropiadas de la serie
