Man kann nicht eine Rechnung als den Beweis eines Satzes bestimmen || zum Beweis eines Satzes ernennen.