>>846
何の仮定?

「rは有理数とする」と仮定したことです。