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.