Anwendung der Regel a + (b + 1) = (a + b) + 1 kann man zweierlei nennen.
      4 + (2 + 1) = (4 + 2) + 1 ist in dem einen Sinn eine Anwendung, in dem andern erst:
4 + (2 + 1) = (4 + 2) + 1 = ((4 + 1) + 1) + 1 || 4 + (2 + 1) = ((4 + 1) + 1) + 1 = (4 + 2) + 1