は矛盾無く定まり、剰余環 "r"/"m" と("r"/"i")/("m"/"i")は自然同型となる。