We have to prove that if a + b = 0, then b = -a
a + b = 0
add -a to both the sides, this can be done for any values of a and b
=> a + b - a = 0 - a
=> b = -a
This proves that if a + b = 0, b = -a or that the additive inverse of a number is unique.