A是m*n型阵
B中n*s型阵
如果r(A)=r 已知
那么B中的列向量就是方程组AX=0的解.
那么B的列秩不会超过n-R(A),即R(B)