命題
A を単項イデアル整域、I を A のイデアルとする。
|A/I| = I である。

証明
中国式剰余定理(>>341)より、I が極大イデアルのベキ p^n のときに
証明すればよい。しかし、この場合は明らか。
証明終