すなわち、"m" を "i" を含む "r" の両側イデアルとし、これに対応する "r"/"i" のイデアルを "m"/"i"(＝ π("m"))と書けば、写像