线性代数,线性相关性证明