关于线性代数.中间的两个推论,不懂怎么来的,