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?