定義
有理整数 k ≧ 1 に対し
(Ψ_0(θ)^k) h(θ)≡ 0 (mod (p^k)Z[θ]) のとき、
h(θ) は Φ_0(>>793)で定まる素因子で k 回割れるという。

h(θ) が Φ_0 で定まる素因子で k 回割れ、k+1 回では割れないとき
h(θ) は Φ_0 で定まる素因子できっかり k 回割れるという。