Aber kann ich nicht sagen: Es muß doch vor allem offenbar sein, daß diese Substitution (i.e.,
die Substitution nach dieser Regel) wirklich diesen Ausdruck ergibt?
     Muß es nicht vor allem klar sein, daß kein Rechenfehler im Beweis vorliegt??