Das ist einerseits der Beweis von 5 + (4 + 3) = (5 + 4) + 3, anderseits kann man es als Beweis von 5 + (4 + 4) = (5 + 4) + 4 etc. etc. gelten lassen, d.h. benützen.
     Wenn ich nun sagte || sage, || : A ist der Beweis des Satzes a + (b + c) = (a + b) + c, so würde das Eigentümliche am Übergang vom Beweis zum Satz viel auffälliger.
     Und was wäre die Regel, nach der dieser Übergang berechtigt || erlaubt ist?