Die Schritte des Beweises von A sind nicht Schritte im Beweis mit Hilfe von A.