>>771
ありがとうございます
考えてみます
実は整数全体が整域であることを証明しようと思ってどのへんまで仮定していいか考えていての質問だったのですが整域であるのは整数のかなり本質的な部分なんですね