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