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