単項イデアルの剰余環は整域