>>785
>　752の素元の定義に「単元でない」という条件は無い。

758見た？　君これ読まずにコピペしたろ
「(1) P⊂R∧P≠R である。」

「イデアルPが単元を含むときP＝R」
って、君、証明できる？

これを踏まえて、単元を除くためにP≠Rっていってるんだよ

知らなかった？　じゃ、今覚えてな　高卒ド素人

🚽　ジャー