Ordering on Natural Numbers is Compatible with Addition/Corollary

Corollary to Ordering on Natural Numbers is Compatible with Addition
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: