Liegt die Hauptsache darin, daß nicht
      a + (b + (c + 1)) = [a + (b + c)] + 1     &
      (a + b) + (c + 1) = [(a + b) + c] + 1 allein den Beweis ausmachen, sondern erst zusammen mit a + (b + 1) = (a + b) + 1?