More generally, if p is the lowest prime dividing the order of a finite group G, then any subgroup of index p (if such exists) is normal.
Mai general, dacă p este cel mai mic număr prim care divide ordinul unui grup finit G, atunci orice subgrup de indice p (dacă există) este normal.