Negative of Sum of Real Numbers

Theorem

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