A _negative_ (integer) number is the "inverse" with respect to the addition :
> $x + (-x) = 0$.
Thus, consider the inverse of a negative number :
> $(-x) + [- (-x)] = 0$;
by property of $=$ and commutativy of addition we have that :
> $x + (-x) = [- (-x)] + (-x)$
and thus :
> > $x = [- (-x)]$.