>>329 より任意の円分整数 g(ζ) は
g(ζ) = Φ_0(η) + Φ_1(η)ζ + ... + Φ_(f-1)(η)ζ^(f-1)
と書ける。ここで各 Φ_i(η) はf 項周期から構成される円分整数
である。

g(ζ) ≡ Φ_0(u) + ... + Φ_(f-1)(u)ζ^(f-1) (mod f(ζ))
である。ここで、Φ_i(u) は Φ_i(u_0, u_1, ... , u_(e-1)) の
略記である。

>>331 から有理整数の列 Φ_0(u), ..., Φ_(f-1)(u) は mod p で
一意に決まる。
よって、g(ζ) が f(ζ) で割れるかどうかを判定するには、
Φ_0(u) ≡ 0, ..., Φ_(f-1)(u) ≡ 0 (mod p) となるかどうかを
判定すればよい。