Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Produkteigenschaften/Fakt/Faktreferenznummer