T6 分块矩阵秩不等式

    • 的任意列均为 的列的线性组合,故 相同的列空间
    • 或考虑分块矩阵乘法