いや、やっぱり>>550＝6スレ37のλ項でOKなようだな。

　(((m(4)m(3))m(2))m(1))2
＝(((m(3)^2)m(2))m(1))2
＝((m(3)(m(3)m(2)))m(1))2
＝((m(3)m(2)^2)m(1))2
＝((m(3)m(2))((m(3)m(2))m(1)))2
＝(m(2)^2)((m(3)m(2))m(1))2
＝m(2)(m(2)((m(3)m(2))m(1))2
＝(m(2)((m(3)m(2))m(1))^2)2
＝(m(2)((m(3)m(2))m(1))((m(2)((m(3)m(2))m(1)))2))
＝・・・