Identity is only Idempotent Element in Group/Proof 1

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

Proof
The Identity Element is Idempotent.

From the Cancellation Laws, all group elements are cancellable.

The result follows from Identity is only Idempotent Cancellable Element.