线性代数和线性相关性有关的一道证明题