>>411 より 円分整数 f(ζ) ≠ 0 に対して ord(f(ζ)) が定まる。
ord(f(ζ)) = k なら f(ζ) = ((ζ - 1)^k) h(ζ) となる
円分整数 h(ζ) があり、h(ζ) は ζ - 1 で割れない。
>>418 の補題より h(ζ) は ν でも割れない。
よって
ν(f(ζ)) = ν((ζ - 1)^k) = kν(ζ - 1)
となる。
>>412 の 条件1) ν(Z[ζ]^*) = Z+ より ν(ζ - 1) = 1 で
なければならない。
よって、ν(f(ζ)) = k である。