Und wirklich, ich beweise nur aus A(c), A(c + 1) und das ist nun allerdings für die Anwendung des Satzes von grosser Bedeutung. Aber der Beweis umfasst die Anwendung auch nicht.

/ \