Ring Subtraction equals Zero iff Elements are Equal

Theorem
Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$

Then:
 * $\forall a, b \in R: a - b = 0_R \iff a = b$

where $a - b$ denotes ring subtraction.