Product of Conjugates equals Conjugate of Products

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

Then $$\forall a, x, y \in G: \left({a \circ x \circ a^{-1}}\right) \circ \left({a \circ y \circ a^{-1}}\right) = a \circ \left({x \circ y}\right) \circ a^{-1}$$

Thus the product of conjugates is equal to the conjugate of the product.

Proof
Follows directly.