上面這個式子

我們可以從上一篇引理中提煉出來。當(dāng)然，你也可以理解為d若是最大公因式，他需要是兩個式子的公因式，所以d整除的是這兩個式子的一個組合。

互素

注意這個除零次多項式外。

互素是最大公因式為1的一個特殊情況，互素是建立在最大公因式的的定義上的，兩個多項式的最大公因式要么是一個多項式，要么是1。零次多項式能整除任意多項式，零次多項式與任意多項式的最大公因式為1，零次多項式與任意多項式互素。

這個證明是用了f整除gh與fh的一個組合，這個組合是h，所以整除h.