Ring Zero is Unique/Proof 1

Theorem

Let $\struct {R, +, \circ}$ be a ring.

Then the ring zero of $R$ is unique.

Proof

The ring zero is, by definition of a ring, the identity element of the additive group $\struct {R, +}$.

The result then follows from Identity of Group is Unique.

$\blacksquare$