>>81 により原始イデアル [a, r + ω] は [p, r + ω] の形の
素イデアルの積に分解される。