>>452 の補題の主張と証明は間違いだった。
これを訂正する前に補題を述べる。

補題
P を Z[ζ] の素因子で 有理素数 p ≠ λ を割るとする。
f を p の mod λ の指数とする。
p を割る P 以外の素因子を P_1, ..., P_(e-1) とする。

このとき f 項周期から構成される円分整数 ψ(η) で
P できっかり一回割れ、P_i, i = 1, ..., e-1 では割れないものが
存在する。

証明
>>451 の Φ(η) が P^2 で割れないときは ψ(η) = Φ(η) とする。
Φ(η) が P^2 で割れるときは、ψ(η) = p + Φ(η) とすればよい。
証明終