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