>>860, >>877 より、任意に与えられた h(θ) ∈ Z[θ] の P に関する
付値が計算できる。

k = 1, 2, 3,... と順に変化させて
(Ψ_0(θ)^k) h(θ) ≡ 0 (mod (p^k)Z[θ]) となるかを判定していけ
ばいい。

この判定は左辺を、関係式 f(θ) = 0 を利用して θ の n-1 次以下の
多項式に変形してから、その係数が p^k で割れるかをみればいい。

(Ψ_0(θ)^k) h(θ) を θ の n-1 次以下多項式に変形するのは
k-1回目の結果が使える。