Multiplication by Negative Real Number/Corollary

Corollary to Multiplication by Negative Real Number

 * $\forall x \in \R: \left({-1}\right) \times x = -x$