言い換えると、ベクトル "v"1,..., "v""n" が自明でないどんな一次関係式も満足しないとき、すなわち