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

That is, the product of conjugates is equal to the conjugate of the product.

Proof
Follows directly from the group axioms.