Korollar 26.4
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 26 Zirkel und Lineal/Das regelmäßige 9-Eck ist nicht konstruierbar/Fakt