問題
A を Dedekind 整域とする。
I ≠ 0 と J ≠ 0 を A のイデアルとし、I ⊂ J とする。
このとき I = JL となるイデアル L がある。