定理(?)：

P: prime ideal ⇔ （条件） [ ∀ I1 and I2, I1 ∩ I2 ⊆ P ⇒ I1 ⊆ P or I2 ⊆ P ]

同値の => 向きは示せた

P prime のとき、（条件） の対偶を示す

Y not in P, choose I1 = (Y)
Z not in P, choose I2 = (Z)
⇒
YZ not in P
YZ ∈ I1 ∩ I2
⇒
I1 ∩ I2 は P に含まれない
//

同値の <= 向きがどうも示せなくて