a < b and c < d ⇒ a+c < b+d.

Comments