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