素イデアルの剰余環は整域