口頭試問は正しくやろう

定義を示さないと定理かどうかは言えない

ついでにいうと
単元は素イデアルに含まれないは
「A:単元を含むイデアルは可換環全体と同じ」と
「B:素イデアルは可換環全体ではない・・・なイデアル」から
導かれるので、Bで、実質的に単元を排除してる

Aが証明できないド素人が見た目の違いに幻惑される

🚽　ジャー