Nun könnte man aber sagen: Dieses Argument könnte man auch auf den Beweis (a + b)² etc. anwenden & sagen: ob der Übergang (a + b) ∙ (a + b) = a ∙ (a + b) etc. gerecht 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 ins Regelverzeichnis schauen & nach um mich zu überzeugen ob eine Regel Übergang erlaubt ist oder nicht. Und warum soll ich das nicht auch im Fall des Übergangs von B nach A machen & nach V hinsehen?