对于数域P上的两个一元多项式f(x)与g(x),本文用五种方法证明了由g2(x)整除f2(x)可得到g(x)整除f(x).这些方法运用了不可约多项式、最大公因式、因式分解以及多项式整除的性质,它们也可推广应用于证明高次的情形.