-(-a)=a

-(-a)=a

1 (-a)+-(-a)=0                      //additive inverse of (-a)

2 a+(a)+-(-a)=0+a             //add a to 1

3 0+-(a)=0+a                   // aditive inverse of a from 2 

4 -(-a)=a                        // additive identity of 3