>286
つまり「ｒが無理数」ならば「xは無理数」であり，それが【証明】に繰り込まれてしまっています。

この部分を、詳しく説明していただけないでしょうか。