设g（x）∈R[x]，设g（x）的首项系数是R的可逆元，k=degg（x）。证明：
g（x）生成的理想R[x]g（x）的任一剩余类f（x）+R[x]g（x）中有唯一一个次数＜k的多项式。