p を p ≡ 1 mod λ となる有理素数とし、
f(ζ) を Nf(ζ) = p となる円分素数とする。

>>215 より

(ⅰ) (1 + k + ... + k^(λ-1)) ≡ 0 mod p
(ⅱ) f(k) ≡ 0 mod p

となる有理整数 k が存在する。
さらに ζ ≡ k mod f(ζ) となる。

円分整数 g(ζ) が f(ζ) で割れるには g(k) ≡ 0 mod p が
必要十分である。

ζ ≡ k mod f(ζ) だから ζ - k = f(ζ)Q(ζ) となる
円分整数 Q(ζ) がある。

i を λ で割れない有理整数とする。ζ を ζ^i に対応させて
Z[ζ] の自己同型が得られるから ζ^i - k = f(ζ^i)Q(ζ^i) となる。
つまり、ζ^i ≡ k mod f(ζ^i) である。
ij ≡ 1 (mod λ) となる有理整数 j をとれば、
ζ = ζ^ij ≡ k^j mod f(ζ^i) である。

つまり、f(ζ) の共役 f(ζ^i) には 有理整数 k^j が対応する。
よって、円分整数 g(ζ) が f(ζ^i) で割れるには g(k^j) ≡ 0 mod p が
必要十分である。