>>898
>素元が0でないことは定義だね。訂正します。

ID:twCwiNxL、ついに>>571の誤りを認める

>1が素数でないことは・・・素元や素イデアルの定義から導出される定理であり、

https://www.youtube.com/watch?v=bFx8fQNRjC0