>>633
R[x]は単項イデアル整域