A是一个m*n矩阵。证明存在非零矩阵n*s矩阵使AB=0的充要条件是A的秩小于n?