Conjugacy Action is Group Action

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