But need we really say that
a+(b+2) = (a+b)+2 follows from
a+(b+1) = (a+b)+1?