Korollar 28.4
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 28 Zirkel und Lineal/Das regelmäßige 9-Eck ist nicht konstruierbar/Fakt