/  
Wir könnten un[t|s] den Beweis ganz gut auch populär mit 1 ausgefuhrt denken und etwa Pünktchen danach um anzudeuten worauf wir sehen sollen. Er wäre nicht wesentlich weniger streng. [hier wird namlich die Andersartigkeit des Beweises noch deutlicher.]
    Denken wir uns ihn so. Wie rechtfertigt er dann den Satz a + (b + c) = (a + b) + c?