>>335
>有理数体を有理整数環の商体で定義すればそんなの要らなくね？
「必要かどうか」、ではなく「明らかかどうか」の話ね。

まあ、妄想で適当なこと言うな、ってことだ