关于矩阵乘积的秩.m*s矩阵A,s*n矩阵B,证明rankA+randB-s