S, h
G 
H. Τότε h
G και h
H. Επειδή G,
H είναι
κανονικές 15.8. Εστω
g S, h
G H. Τότε h
G και h
H. Επειδή G,
H είναι
κανονικές
υποομάδες της S, ghg-1
G και
ghg-1 H. Αρα
ghg-1 G
H.
Επεται από την
15.7.
ότι η G
H είναι
κανονική
υποομάδα της S.