设r（x）∈Z[x]是κ（≥1）次首一不可约多项式,n是一个合数,如果r（x）在Zn[x]中也不可约,而且f（x）nκ≡f（x）mod r（x）,（?）f（x）∈Zn[x],就称n是模r（x）的κ阶......