>>220
無理数/有理数=有理数と仮定すると
無理数=有理数*有理数=有理数になる

…有理数が四則演算について閉じているのは自明としていいんだっけな