>>408
√r ∈ Q のときはそんな定理使うまでも無い