1.3.
Der Beweis sähe so aus:

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