设A为mn矩阵,证明方程AX=Em有解的充要条件是R(A)=m