$C_G(x)H$ in bir grup olduğu $H$ nin $G$ de normal olmasından gelir. Öte yandan $C_H(x)< C_G(x)$ olması bize
$$H<C_G(x)H\leq G$$
yi getirir. $H$ in asal indeksli olması $G=C_G(x)H$ eşitliliğini getirir.
Şimdi $y=x^g$ olsun. Yukarıdaki eşitlikten $g=hc$ olarak yazabiliriz $h\in H$ ve $c\in C_G(x)$ olmak üzere.
$$y=x^g=x^{ch}=x^h.$$
Yukarıdaki eşitlik $x$ ve $y$ nin $H$ de de eşlenik olduğunu gösteriyor.