命題
>>860 の逆も成り立つ。
つまり ν(h(θ)) = k ≧ 1 なら h(θ) はΦ_0で定まる素因子で
きっかり k 回割れる。

証明
h(θ) ∈ P だから >>807 の最後で述べたことより
Ψ_0(θ)h(θ)≡ 0 (mod pZ[θ]) となる。
>>808 より ある有理整数 s があり、h(θ) はΦ_0で定まる素因子で
きっかり s 回割れる。
よって、>>860 よりν(h(θ)) = s である。
よって k = s となる。
証明終