任意一个非零有理系数多项式都能表示成一个有理数与一个本原多项式之积