添字の上下は双対空間だから
そっちの方から拡張せなあかんな