Liegt die Hauptsache darin, dass nicht
a + (b + (c + 1)) = /a + (b + c)/ + 1 und
(a + b) + (c + 1) = /(a + b) + c/ + 1 allein den Beweis ausmachen, sondern erst zusammen mit a + (b + 1) = (a + b) + 1?