若一个整系数多项式可表示为两个有理系数多项式的乘积,且其中一个是本原多项式,则另一个多项式必为整系数多项式。