设ab均为n乘n矩阵证明ab的秩小于等于a的值加b的值