>>571
＞１が素数でないことは素元や素イデアルの定義から導出される定理

１が素元であるのは、１が単元であって、
素元とは０でも単元でもないものと規定されてるからで
定理とかいう以前のことかと