（错误）p(x)在错误[x]上不可约，则p(x)可以分解成两个次数比p(x)小的多项式的乘积