Previous
Ms-148,12r[2]
Next
But
need
we really say that
a+(b+2) = (a+b)+2 follows from
a+(b+1) = (a+b)+1?