を満たすならば、"k""n" の "l" 次元部分ベクトル空間 "v" が存在して