>Cohen-Seidenbergの定理(前スレ1の520)より pZ の上にある
>S の素イデアル P が存在する。

何だか知らないが大袈裟だな