命題
A をDedekind整域とし、I ≠ 0 をそのイデアルとする。
A のイデアル類群(>>180) の各類は I と素なイデアルを
含む。

証明
C を A のイデアル類群の任意の類とする。
C^(-1) に属するイデアル J をとる。
前スレ２の785より α ∈ J で (α) = JL, I + L = A となる
α とイデアル L ≠ 0 が存在する。
L ∈ C が求めるものである。
証明終