命題
A を環、I, J を A のイデアル、p を A の素イデアルとし、
IJ ⊂ p とする。
このとき、 I ⊂ p または、J ⊂ p となる。

証明は明らかだろう。