设A和B分别是n*m型和m*n型矩阵,C=AB为可逆阵,证明:B的列向量组线性无关