设A是mxn矩阵,B是nxm矩阵,证明B的列向量是线性无关