$\Rightarrow$ $a\in C_{G}(x)$ olsun. Kabulden $a\in C_{G}(y)$ olur. Yani, $ay=ya$. Bu ise $y\in Z(C_{G}(x))$ olmasıdır. Tersine $a\in C_{G}(x)$ olsun. $y\in Z(C_{G}(x))$ olmasından $ay=ya$ yani $a\in C_{G}(y)$ bulunur.
Not: $G=D_{4}$ ya da $Q_{8}$ alarak ifadeyi canlandırabilirsiniz.