‘Manche mathem. Beweise sind die Ausrechnungen von Sätzen; manche nicht.’ Aber man hätte doch jedenfalls den Satz durch die Überlegungen des Beweises erhalten können!
166