充要条件Q[x]中，错误(x)与g(x)相伴，则错误(x)=g(x)（错误）两个本原多项式的乘积还是本原多项式