>>664
それは
Pがprime ideal　かつ　P=∩Q_i：ｆ=∩_｛i｜Q_i：f≠R｝Q_i：ｆ　だから。

一応、念のため。
x∈∩_{k]Pi_k⇔∀k　x∈Pi_k=√Qi_k⇒∀k　∃n_k∈N　x^n_k∈Qi_k
⇒x^n_k∈Qi_k：f⇒x^n_k∈P⇒x∈P