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