>>24の命題のθとして、L = K(θ) かつθ∈ I となるものが取れる。
ここで I は、前もって任意に与えられた P と素なBのイデアル。

この証明も演習問題として提出しておく(証明は高木に載っているが)。