标签：若一个向量组是线性无关的，则它的一个部分组也线性无关