>>583
「素数はZの素元として定義される。」のどこにも「1は素数でない」なんて書かれてません。
難癖つけてるのはあなたです