Nun könnte man aber sagen: dieses Argument … [ Nun könnte m. aber dieses ] Aber dieses Argument könnte man auch auf den Beweis (a + b)² = etc anwenden & sagen: ob der Übergang (a + b) ∙ (a + b) = a ∙ (a + b) + b ∙ (a + b) richtig ist oder nicht, kann man nur an ihm (seinen Gliedern) selbst
sehen, dazu braucht man keine Regel. Das ist auch wahr & die Regeln tabulieren nur die erlaubten Übergänge. Aber dann kann ich doch in's Regelverzeichnis schaun um mich zu überzeugen, ob ein Übergang erlaubt ist, oder nicht. Und warum soll ich das nicht auch im Fall des Übergangs von B nach A machen & nach V hinsehen?