线性代数基础知识中的一个定理的疑惑