任意の体 K にたいして、代数閉体であるようなKの拡大体が存在する。

S.Lang と永田の説明をもとに。
高知大学の「代数学III」の講義の付録、
というか余録。