Real Number Ordering is Compatible with Multiplication

Theorem
Let $\R$ denote the set of real numbers.

Then: