A,B分别是s*n,n*t的矩阵,证明:r(AB)>=r(A)+r(B)-n 至少让我看懂)