Satz 27.3
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 27 Zirkel und Lineal/Regelmäßiges n-Eck konstruierbar/Euler ist Zweierpotenz/Fakt