Commutation Property in Group

Theorem
Let $\struct {G, \circ}$ be a group.

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