>r は実数になってしまい、r が有理数という仮定に反するからこの時点で証明は
無意味となる。

rは、有理数と仮定しなくては、いけないのでしょうか？