では
tB=b[j,i]
tA=a[j,i]
tBtA=納k=i.n]b[j.k]a[k.i]

だと思うのですがこれが違っているのでしょうか?
左辺=右辺にならなくて。。