Negative of Negative Real Number

Theorem

 * $\forall x \in \R: -\left({-x}\right) = x$