>>434
次の有名な定理を用いる。
ある体 K の有限次代数拡大が代数閉体なら、
K が代数閉体であるか、または実閉体であって拡大次数は 2.
証明は永田、可換体論、裳華房など参照。