>>141
ｐが既約でないとするとｐ＝ｂ∩ｃ（ｐ≠ｂ、ｐ≠ｃ、ｐ⊃ｂ、ｐ⊃ｃ）とかける。
ｂ∩ｃ⊃ｂｃなのでｐ⊃ｂｃであり、ｐは素イデアルなので
ｐ⊃ｂ　　あるいは　ｐ⊃ｃ　となる。

まちがってますよね？