Multiplication by Negative Real Number

Theorem

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

Proof
Similarly: