Negative of Sum of Real Numbers/Corollary

Theorem

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