线性代数定理3.4怎么证明啊?