К теореме Хупперта–Шеметкова

Доказывается, что в каждой конечной неединичной разрешимой группе $G$ существует максимальная подгруппа $H$, не содержащая подгруппу Фиттинга, такая, что $|G:H|=p^{r(G/\Phi(G))}$ для некоторого простого числа $p$. Здесь $r(G/\Phi(G))$ — главный ранг группы $G/\Phi(G)$.