命題
円分整数 f(ζ) ≠ 0, g(ζ) ≠ 0 に対して、
div(f(ζ)g(ζ)) = div(f(ζ)) div(g(ζ)) である。

証明
>>412 の 2) より明らか。