任意の無理数は、
a1+a2(2)^(1/2)+a3(3)^(1/2)+a5(5)^(1/2)+・・・, akは有理数
の形で表せますか?