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?