Question 68047
if c < d then a+c < a+d but a=b so a+c < b+d