Cohen-Seidenbergの上昇定理
Noetherの正規化補題