Wir können uns den Beweis ganz gut auch populär mit 1 ausgeführt denken und etwa Pünktchen darnach um anzudeuten, worauf wir sehen sollen. Er wäre nicht wesentlich weniger streng (hier wird nämlich die Andersartigkeit des Beweises noch deutlicher).
     Denken wir uns ihn so. Wie rechtfertigt er dann den Satz A(c)?