设两个多项式为f、g,因为在P[x]互素,有u、v∈P[x]⊂C[x],uf+vg=1,注意,u、f、v、g均在C[x]中,故有f、g在C[x]中互素.