円分整数 f(ζ) が 1 - ζ または同じことだが ζ - 1 で割れるか
どうかを判定するのは簡単である。

ζ ≡ 1 mod (ζ - 1)
だから f(ζ) ≡ f(1) mod (ζ - 1) となる。
よって、f(ζ) が ζ - 1 で割れるなら、
f(1) ≡ 0 mod (ζ - 1) である。
よって f(1) = (ζ - 1)g(ζ) となる円分整数 g(ζ) がある。
両辺のノルムをとって、
f(1)^(λ-1) = λNg(ζ)
よって、f(1) ≡ 0 mod λ となる。

逆に、f(1) ≡ 0 mod λ なら、
f(1) ≡ 0 mod (ζ - 1) である。
よって、f(ζ) ≡ 0 mod (ζ - 1) となる。