補題
P を 円分整数環 Z[ζ] の素因子、n ≧ 1 を有理整数とする。
N(P^n) = N(P)^n である。

証明
>>494 より明らか。