Klassischer Alternativbeweis (völlig witzlos)
Erweiterung auf Quantoren
Abschnitt über Geschichte erweitert
Zweites Knitenblatt, danke an Peter und Sven