两个矩阵秩相等性质