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