Ordering on Natural Numbers is Compatible with Multiplication/Corollary

Corollary to Ordering on Natural Numbers is Compatible with Multiplication
Let $a, b, c, d \in \N$ where $\N$ is the set of natural numbers.

Then:
 * $a > b, c > d \implies a c > b d$

Proof
Finally: