15.3. Επεται αμέσως από την άσκηση 10.10. και το θεώρημα 15.5.
Διαφορετικά: Εστω g G, h H. Θέλω να δείξω ghg-1 Η.
Μπορώ να υποθέσω ότι g H.
Tότε H και gH είναι όλα τα αριστερά σύμπλοκα της Η,
και G = H gH. Αν ghg-1 gΗ, τότε ghg-1 = gh1, όπου .
Αυτό συνεπάγεται g = h1-1h H! Aρα ghg-1 Η.