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$.