整系数多项式在有理数域上可约等价于在整数上可约。