线性代数 同济版 行列式性质6怎么证明啊