Man kann nicht eine Rechnung als den zum Beweis eines Satzes bestimmen [ernennen]