ネーター環
をザリスキ環（例えば局所ネーター環）とする。完備化 がクルル整域であれば、 はクルル整域である。