线性证明题如何证明一个向量组中的任一向量能有它的极大无关组线性表示(最好不要用向量空间的基 维数的内容来证明)