两矩阵相乘的秩的性质