a + (- a) = 0