若一个向量组是线性相关的，则它的一个部分组也线性相关