Es sei G {\displaystyle {}G} eine endliche Gruppe der Ordnung n = k p r {\displaystyle {}n=kp^{r}} , wobei p {\displaystyle {}p} eine Primzahl und k {\displaystyle {}k} zu p {\displaystyle {}p} teilerfremd ist.
Dann besitzt G {\displaystyle {}G} eine Untergruppe der Ordnung p r {\displaystyle {}p^{r}} .
