Commutation Property in Group

Theorem
Let $$\left({G, \circ}\right)$$ be a group.

Then $$x$$ and $$y$$ commute iff $$x \circ y \circ x^{-1} = y$$.

Proof
$$ $$ $$ $$ $$