Der allgemeine Beweis beweist A(7) nur insofern als er mit A(7) zusammengestellt dessen Beweis ist. A(7) mußte eben dazukommen & das Übrige ist nur was der Beweis von A(7) mit dem von A(6) etc. gemeinsam hat.