Satz 16.4
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 16 Endliche Körpererweiterung von Q/Komplexe Einbettungen/Fakt