设向量组线性无关，证明：向量组线性无关。