CG(x)H in bir grup olduğu
H nin
G de normal olmasından gelir. Öte yandan
CH(x)<CG(x) olması bize
H<CG(x)H≤G
yi getirir.
H in asal indeksli olması
G=CG(x)H eşitliliğini getirir.
Şimdi
y=xg olsun. Yukarıdaki eşitlikten
g=hc olarak yazabiliriz
h∈H ve
c∈CG(x) olmak üzere.
y=xg=xch=xh.
Yukarıdaki eşitlik
x ve
y nin
H de de eşlenik olduğunu gösteriyor.