如果一个向量可以由某个向量组线性表示,则表示式唯�