The sum of a number and additive inverse is zero.
(Add to each side)
Apply Additive inverse proparty: .
(Add: )
.