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 Spezialfall der allgemeinen Regel ist]