Multiplication by Negative Real Number

Theorem

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

Proof
Similarly: