The second follows from the definition of − 1 as additive inverse of 1 : it is precisely that number that when added to 1 gives 0 .
The second follows from the definition of − 1 as additive inverse of 1 , that is , when added to 1 , it gives 0 .