あちがうか
最初のaaを一辺に打ち消さなくても良いんだ
aa(W(e)∩W2i)c(W(e)∩W2j)c(i+j=m-2)
ならよいのか
うーん
見えてきた感じがしてきたぞ