但是$f_(x)$与$f_(x)$都是不可约的整系数多项式,若$f_(x)=+-f_(x)$不成立,则$f_(x)$与$f_(x)$互素,于是$f_(x)f_(x)