Aber ist denn das nicht wesentlich dasselbe wie: Nach den Regeln der Addition (nämlich: a + (b + 1) = (a + b) + 1) ist
      a + (b + (c + 1)) = (a + (b + c)) + 1 und
      (a + b) + (c + 1) = ((a + b) + c) + 1 also ......