关于逆矩阵的证明题设A和B分别是m*n和n*m矩阵,若AB=E(m),BA=E(n),求证m=n且B=A^(-1) (E