Identity is only Idempotent Element in Group/Proof 1

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.