>>221
はい。それは背理法で証明できます。

>>222
四則演算について閉じているというのは、
どのような四則演算を行っても結果が有理数になるということですか？
それを自明として良いなら教えていただいた方法で証明できそうですね。
ありがとうございます。