degr(x)<degg(x)对于任意错误(x)∈错误[x]，错误(x)都可以整除（C）