? /  
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)?