：√任意域上的线性方程组一个有理系数线性方程组在Q上有唯一解，那么它在R上也有唯一解