Real Number Ordering is Compatible with Multiplication/Positive Factor/Corollary

Theorem

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

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

Proof
The result follows by Real Number Ordering is Transitive.