设A,B分别是m*n,n*m矩阵,若AB=Em(m阶单位阵),BA=En,求证m=n且B是A的逆阵