◇◇◇ Dass (a + (b + 1)) = (a + b) + 1 ein Spezialfall von a + (b + c) = (a + b) + c ist, kann ich auch nicht beweisen, sondern muss es sehen. (Auch keine Regel kann mir da helfen, denn ich muss doch wieder wissen, welches ein Spezialfall der allgemeinen Regel ist.)