Multiplication by Negative Real Number/Corollary

Corollary to Multiplication by Negative Real Number

 * $\forall x \in \R: \paren {-1} \times x = -x$