T6 分块矩阵秩不等式