>>973
>拡張しないといけない理由が分からないんだよ。
素数の定義と素元の定義は別々バラバラでよいと?