The equation is .
Apply subtraction property of equality: If then
.
Subtract m from each side.
\Apply commutative property of addition: .
Apply identity property of addition: .
.
The value of is called additive inverse of m, since
.
The value of is called additive inverse of m.