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