Inequality of Product of Unequal Numbers

Theorem
Let $a, b, c, d \in \R$.

Then:
 * $0 < a < b \land 0 < c < d \implies 0 < a c < b d$