2.5.4 逆矩阵性质