Product with Field Negative

Theorem
Let $\struct {F, +, \times}$ be a field whose zero is $0_F$.

Let $a, b \in F$.

Then:
 * $-\paren {a \times b} = a \times \paren {-b} = \paren {-a} \times b$

Proof
Similarly: