環 "r" が整域(可換性だけでは足りない。