Identity is only Idempotent Element in Group/Proof 2

Theorem
Every group has exactly one idempotent element: the identity.

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

Let $x \in G$ such that $x \circ x = x$.