Oder sollen wir das Additionstheorem so lauten lassen:
a + (b + 1) = (a + 1) + b, also so addieren:
((1) + 1) + (((1) + 1) + 1) = (((1) + 1) + 1) + ((1) + 1) = ((((1) + 1) + 1) + 1) + (1) = (((((1) + 1) + 1) + 1) + 1)?