矩阵乘积的秩