>55
rが有理数か無理数かどうかを無視するところ

どの部分でしょうか?