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, : A ist der Beweis des Satzes a + (b + c) = (a + b) + c, so würde das Eigentümliche am Uebergang vom Beweis zum Satz viel auffälliger.
                   Und was wäre die Regel, nach der dieser Uebergang berechtigt // erlaubt // ist?