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