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
Η.