推论 5.6. 可逆矩阵保秩

是一个 矩阵, 若 可逆矩阵, 可逆矩阵, 则

\begin{proof}, 由定理 5.4 知 . 由于 可逆, 由 , 又由定理 5.4 有 . 所以, . 另一等式类似可证. \end{proof}