>>171
a_i たちの一次結合を作るんじゃなくて、各 a_i が基底の一次結合で書けるかどうか調べる。