補題
A, B を Z[ζ] の因子で互いに素とする。
このとき以下の合同式を満たす Z[ζ] の元 x, y がある。

x ≡ 1 (mod A)
x ≡ 0 (mod B)

証明
A, B を互いに異なる素因子の冪の積として表し、
>>463, >>466, >> 467 を繰り返して使えばよい。
証明終