Conjugacy is Equivalence Relation

Theorem
Conjugacy is an equivalence relation.

Reflexive
$$\forall x \in G: x \circ e_G = e_G \circ x \Longrightarrow x \sim x$$.