円分整数 g(ζ) ≠ 0 が次の条件を満たすとき g(ζ) は条件(*) を
満たすということにする。

(*) 任意の円分整数 f(ζ) ≠ 0 に対して、div(f(ζ)) が div(g(ζ))
で割れるなら f(ζ) は g(ζ) で割れる。

補題
円分整数 g(ζ) ≠ 0, h(ζ) ≠ 0 がそれぞれ上の条件(*) を満たすなら、
g(ζ)h(ζ) も条件(*) を満たす。

証明
div(f(ζ)) が div(g(ζ)h(ζ)) で割れるとする。
>>422 より div(g(ζ)h(ζ)) = div(g(ζ)) div(h(ζ)) だから
div(f(ζ)) は div(g(ζ)) で割れる。よって f(ζ) は g(ζ) で
割れる。よって f(ζ) = g(ζ)R(ζ) となる円分整数 R(ζ) がある。
div(f(ζ)) = div(g(ζ)) div(R(ζ)) だから
div(R(ζ)) は div(h(ζ)) で割れる。
よって R(ζ) は h(ζ) で割れる。
よって f(ζ) = g(ζ)h(ζ) で割れる。
証明終