Nur ein bestimmter Uebergang von Gleichungen zu einer Gleichung ist ein Beweis dieser letzteren. ﹖– Dieser ist hier nicht gemacht // Dieser findet hier nicht statt // –﹖ und alles [a|A]ndere kann auf die Sprache keinen Einfluss (mehr) haben. // … und alles Andere kann B nicht mehr zum Beweis von A machen. //