円分整数 f(ζ) が可逆元のとき、つまり f(ζ)g(ζ) = 1 となる
g(ζ) があるとき、f(ζ) を円分単数、略して単数と呼ぶ。
Nf(ζ)Ng(ζ) = 1 だから Nf(ζ) ＞ 0 (>>176)に注意して
Nf(ζ) = 1 である。

逆に Nf(ζ) = 1 なら f(ζ)f(ζ^2)...f(ζ^(λ-1)) = 1 だから
f(ζ) は単数である。