Real Number Ordering is Compatible with Multiplication/Negative Factor

Theorem

 * $\forall a, b, c \in \R: a < b \land c < 0 \implies a c > b c$

where $\R$ is the set of real numbers.

Proof
This follows from Rational Numbers form Subfield of Real Numbers.