定理
Z[ζ] の０でないイデアルは素イデアルの冪積として一意に分解される。

証明
素因子 P に対して I(P) が素イデアルであることは明らか。
よって、>>478 と >>474 より定理の主張が得られる。
証明終