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