Negative of Sum of Real Numbers

Theorem

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