4.3 矩阵秩的等式与不等式的证明