矩阵乘积的秩不大于各矩阵的秩