Structure with Element both Identity and Zero has One Element

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

Let $z \in S$ such that $z$ is both an identity element and a zero element.

Then:
 * $S = \set z$

Proof
Let $x \in S$.

Then

and so there is no other element of $S$ but $z$.