设f(x)，g(x)是有理系数多项式，且在复数域上g(x)|f(x)，则在有理数域上，也必有g(x)|f(x)