可逆矩阵的逆矩阵是唯一的。