Korollar 27.4
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 27 Zirkel und Lineal/Das regelmäßige 9-Eck ist nicht konstruierbar/Fakt
