>>290
問1: a[H]が0でないようなHについて、Hに出てこないような添字jに対するα∧σ[j]が1次独立であることを確かめる。
問2: Mの基底を取り、それを含むようなVの基底をとって成分表示。