Se puede probar que, seleccionando cualquier subgrupo maximal inicial como formula_102 (pueden haber varios) que la serie de composición es esencialmente la misma, excepto por una permutación de los grupos cocientes que allí aparecen (teorema de Jordan-Holder).