Inverse of Identity Element is Itself

Theorem
A left identity, a right identity and an identity are all self-inverse.

Proof
This was demonstrated in Identities are Idempotent.