Inverse of Identity Element is Itself

Theorem
An identity is self-inverse.

Proof
This is demonstrated in Identities are Idempotent.