Endliche Körpererweiterung von Q/Komplexe Einbettungen/Fakt/Name

Der Satz über komplexe Einbettungen für eine endliche Körpererweiterung ${}\mathbb {Q} \subseteq K$.