>>512 の続き

n ≧ 1 を有理整数として、
h(X) ∈ Z[X] とし Ψ(θ)^n h(θ) ≡ 0 (mod p^n) のとき
h(θ) は Φ_0 で定まる素因子 P_0 で n 回割れるという。
h(θ) が P_0 で n 回割れるが n + 1 回では割れないとき
h(θ) は P_0 できっかり n 回割れるという。

このとき >>403 の 1) , 2), 3), 4) と同様なことが成立つ。
証明も同様であるが一応証明する。