Proof. By the definition of ring, there exists at least one
identity in

, call it

. Suppose

is an element which also the of additive identity. Thus,
On the other hand,

is an additive identity, therefore:
Hence

, i.e. there is a unique additive identity.
