Identity is Unique/Proof 2

Theorem
Let $\left({S, \circ}\right)$ be an algebraic structure that has an identity element $e \in S$.

Then $e$ is unique.

Proof
Let $e_S$ be an identity of $\left({S, \circ}\right)$.

Then by definition, $e_S$ is both a left identity and a right identity.

By More than One Left Identity then No Right Identity, if there is more than one of either, there cannot be one of the other.

So there can be only one of each, and by Left and Right Identity the Same, they are one and the same thing.