（错误）在数域错误上次数≥的多项式错误(x)因式分解具有唯一性