线性代数:见下图,想知道最后二个式子是怎么得来的,用的是哪条定理 或是推论.