Aber kann ich nicht sagen: Es muß do[f|c]h 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??