117In Retrospektive erkennen wir, dass Artins Gefühl durchaus berechtigt war; er hatte die Lösung des Hauptidealproblems wirklich schon „vor der Nase“. Wenige Monate später fand Furtwängler mit den Artin-Schreierschen Methoden den Beweis. Wir haben das schon in 13.1.3 berichtet. Andererseits war der Furtwänglersche Beweis keineswegs einfach oder auf der Hand liegend; der Beweis des Hauptidealsatzes war wirklich „schwer“, wie Artin ja schon im Brief Nr. 13 vom 2. August festgestellt hatte.

@