这一推论,简化了逆矩阵的证明过程,不需要像定义一样证明AB=I和BA=I两个方面,只需要证明一个方面即可