問題
Dedekind 整域が一意分解整域であれば単項イデアル整域である。
これを証明せよ。