Es sei p {\displaystyle {}p} eine Primzahl und S p {\displaystyle {}S_{p}} die Permutationsgruppe zu { 1 , … , p } {\displaystyle {}{\{1,\ldots ,p\}}} . Es sei H ⊆ S p {\displaystyle {}H\subseteq S_{p}} eine transitive Untergruppe, die eine Transposition enthalte.
Dann ist H = S p {\displaystyle {}H=S_{p}} .
