Negative of Sum of Real Numbers

Theorem

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