Identities are Idempotent

Theorem
Let $$\left({S, \circ}\right)$$ be an algebraic structure.

Then any left identities, right identities and two-sided identities of $$\left({S, \circ}\right)$$ are all idempotent.

Proof
These follow directly from the definitions:

$$ $$ $$