设一个对称矩阵有可逆矩阵,证明它的逆矩阵也是对称矩阵