Nur ein bestimmter Übergang von Gleichungen zu einer Gleichung ist ein Beweis dieser letzteren. ﹖– Dieser ist hier nicht gemacht || Dieser findet hier nicht statt –﹖ und alles Andere kann auf die Sprache keinen Einfluß (mehr) haben. || … und alles Andere kann B nicht mehr zum Beweis von A machen.