>>480
意味が全く分からないので
> nが有理数ならば、表せます。
nが有理数ならば証明は間違いだと表明するということにしましょうか?

まちがいました。
> mが有理数ならば、表せます。
です。