−1 (number)
Multiplying a number by −1 is the same as changing the sign on the number. This can be proved using the distributive law and the axiom at 1 is the multiplicative identity, that is, a number multiplied by 1 is the number itself. So, for x real, we have