>>452 の訂正

補題
P を Z[ζ] の素因子で 有理素数 p ≠ λ を割るとする。
>>453 の ψ(η) に対して P = (p, ψ(η) ) となる。
つまり P は p と ψ(η) の最大公約因子である。

証明
素因子の冪 Q^n, n ≧ 1 が p と ψ(η) を割るとする。
ψ(η) は P で割れるが p を割る他の素因子では割れない。
よって Q = P でなければならない。
さらにψ(η) は P できっかり一回割れから n = 1 でなければ
ならない。

逆に、P は p と ψ(η) を割る。

以上から P = (p, ψ(η)) である。
証明終。