補題
A, B を Z[ζ] の因子とする。
I(AB) = I(A)I(B) である。

証明
>>475 と >>477 より分かる。
証明終