满意速采纳，谢谢。这个是个推论而已。我觉得这里没讲解是因为上面的定理已经说明过了，如果两个矩阵互逆，那么两个矩阵互为逆矩阵。所以这里不需要重复说明。AB=E说明这两个矩阵互逆且行列式的值不为0，那么B就是A的逆矩阵，A也是B的逆矩阵。A*（A的逆矩阵）等于E，所以自然有（B的逆矩阵）*B=E。即定理2.4.
