具体的には、"m" ＝ "rx" のとき、準同型定理よりformula_2となる。