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