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