a<b ⇔ a+c<b+c