/?  
Daß a + ([(|b] + 1) = (a + b) + 1 ein Spezialfall von a + (b + c) = (a + b) + c(Ƒ) ist, kann ich auch nicht beweisen, sondern muß es sehen. [Auch keine Regel kann mir da helfen, denn ich muß doch wieder wissen, welches ein Specialfall der allgemeinen Regel ist]