1.3.
Der Beweis sähe so aus:

a + (
α + (β + 1)
b + (c + 1)
) = a + ((b + c) + 1);
α + (β(Ƒ) + 1)
a + ((b + c) + 1)
= (a + (b + c)) + 1
etc.(Ƒ)