Denke, Du hättest eine meilenlange ‘Formel’ angeschrieben, & zeigtest durch Transformation, daß sie tautologisch ist (‘wenn sie sich inzwischen nicht verändert hat’, müßte || könnte man sagen). Nun zählen wir die Glieder in den Klammern oder teilen sie ab & machen den Ausdruck übersichtlich & es zeigt sich, daß in der ersten Klammer 7566 in der zweiten 2434 in der dritten 10000 Glieder stehen. Habe ich nun bewiesen || gezeigt, daß 2434 + 7566 = ¤10000 ist? – Das kommt drauf an, || – könnte man sagen – ob Du sicher bist, daß das Zählen wirklich die Zahlen der Glieder ergeben hat, die während des Beweises in den Klammern standen.