Chinese remainder theorem
4. "R" をデデキント整域とし "I" を "R" の 0 でないイデアルとする。このとき商 "R"/"I" は主環である。実際、"I" を素イデアルの冪の積として分解できる： formula_8, そして、中国の剰余定理によって