设A为m*n矩阵,证明矩阵方程AX=Em有解的充分必要条件是