非零多项式g（x），f（x）一定存在最大公因式，且是唯一的，只有一个。