p(x)|错误(x)或者p(x)|g(x)复数域上的不可约多项式恰为零多项式