Wir mü[ß|ss]en einerseits den Beweis automatisch ganz reproduzieren können, & anderseits muß diese Reproduktion wieder
ein
der
Beweis des Resultats sein.