Negative of Sum of Real Numbers/Corollary

Theorem

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