Kurs:Elemente der Algebra (Osnabrück 2015)/Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Produkteigenschaften/Fakt/Faktreferenznummer