>>201 から ζ - 1 が円分素数であることはすぐ出る。

つまり、
f(ζ)g(ζ) ≡ 0 mod (ζ - 1) なら
>>201 より、f(1)g(1) ≡ 0 mod λ となる。
よって、f(1) ≡ 0 mod λ または g(1) ≡ 0 mod λとなる。
再び、>>201 より f(ζ) ≡ 0 mod (ζ - 1) または
g(ζ) ≡ 0 mod (ζ - 1) となる。