>>201 と同様の論法で円分整数 f(ζ) のノルムの重要な性質が得られる。

ζ ≡ 1 mod (ζ - 1) だから
Nf(ζ) = f(ζ)f(ζ^2)...f(ζ^(λ-1)) ≡ f(1)^(λ-1) mod (ζ - 1)
よって Nf(ζ) ≡ f(1)^(λ-1) mod λ となる。

Fermatの定理から f(1)^(λ-1) ≡ 0 または ≡ 1 mod λ となる。
よって、Nf(ζ) ≡ 0 または ≡ 1 mod λ となる。