Sei G eine endliche Gruppe und p eine Primzahl, wobei p ein Teiler der Ordnung von G ist.Sei K eine p-Untergruppe von G. Dann ist K in einer p-Sylowuntergruppe von G enthalten.
