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, was ich tun könnte¤: 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 erlaubt || berechtigt ist?