If $a < b$ and $c < d$, then $a + c < b + d$ if $a, b, c, d$ are positive integers.
My hunch is that this is true, but I'm having difficulty proving it. Is there a property or definition pertaining to inequalities that exists to support/disprove the above?
$a < b \implies a+c < b+c$
$c < d \implies b+c < b+d$
So $a < b$ and $c<d \implies a+c < b+c < b+d \implies a+c < b+d$