Ring Zero is Unique/Proof 2

Theorem

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

Then the ring zero of $R$ is unique.

Proof

From Ring Product with Zero we have that the ring zero of $R$ is indeed a zero element, as suggested by its name.

The result then follows from Zero Element is Unique.

$\blacksquare$