求证明 两实对称可逆矩阵的乘积还是实对称可逆矩阵.