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