Aber dieses Argument könnte man || Nun könnte man aber sagen: dieses Argument könnte man || Nun könnte man aber dieses Argument 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?