Denken wir uns zu einem jeden Beweis einen Satz, der das logische Produkt aller Sätze des Beweises ist. Dann wäre der Beweis auch ein Beweis dieses Satzes. Und zwar hätte man, indem man den Satz liest, seinen Beweis gelesen.

200