§4.2 可逆矩阵及其性质