Wenn man den Beweis ansieht als einen von der Art der Ableitung von (x + y)² = x² + 2xy + y², so beweist er den Satz “A(c + 1)” (unter der Annahme von “A(c)”, also des Satzes, den ich eigentlich beweisen wollte). Und rechtfertigt – unter dieser Voraussetzung – Spezialfälle, wie 3 + (5 + (4 + 1)) = (3 + 5) + (4 + 1). Er hat auch eine Allgemeinheit, aber nicht die gewünschte. Diese Allgemeinheit liegt vielmehr nicht in den Buchstaben, sondern ebensogut in bestimmten Zahlen und besteht darin, daß man den Beweis wiederholen kann.