设某线性空间中有一组线性无关的向量，则从中任意抽取一部分向量够的向量组一定是线性无关的