设A是mxn矩阵,X是任意一个n维向量,则AX必为非零向量的充要条件为什么是A的列向量线性无关?