자연수 A_1,A_2,..,A_n에 대해
루트(A_n)=B_n이라 할때

(B_1+B_2+B_3+...+B_n)이 유리수일 필요충분조건은
A_1,A_2,...,A_n이 모두 완전제곱수이다.