>>550 では不完全。

m(4) は M_3 から M_3 の元への写像であるのに、
m(4) (m(3)) という特別の場合しか定義されていない。