设A为m×n矩阵,B为n×s矩阵,已知A的列向量组线性无关,证明:B与AB有相同的秩