Satz 27.11
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 27 Konstruktionen Zirkel Lineal/Regelmäßige n-Ecke/Charakterisierung mit Fermatsche Primzahlen/Fakt