Negative of Negative Real Number

Theorem

 * $\forall x \in \R: -\paren {-x} = x$