整域という段階で可換環ということが保証される