命題
A を１次元のネーター整域とし K をその商体とする。
A の K における整閉包を B とし、B は A-加群として有限生成とする。

A の正則なイデアルは正則な素イデアルのべき積として一意に
分解される。

証明
>>457 と同様である。