Identity is only Idempotent Element in Group/Proof 1

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

Proof
The identity is idempotent.

From the Cancellation Laws, all group elements are cancellable.

The result follows from Identity is Only Idempotent Cancellable Element.