a、纯策略nash均衡存在性定理为：在n人战略式博弈中，如果每个参与人的支付函数是连续的；并且对自身策略拟凹，那么存在一个纯策略nash均衡。（参见张维迎版的博弈论与信息经济学第70页）     b、纯策略nash均衡存在性定理为保证了存在性，在证明唯一性时    文献[1]是根据文献[2]有关成果（具体为：如果反应函数在整个策略空间上是收缩的,则博弈有唯一纯策略纳什均衡，验证反应函数收缩等价于验证如下海赛矩阵对角占优）。  文献[3]是根据文献[3]中的命题1, 和文献[4]对于每个局中人在给定其他局中人策略的情况下, 都有惟一的最优反应, 得出博弈的纳什均衡是惟一的。    c、问题：我感觉文献[3]在证明唯一性时仅仅是证明每个参与人的支付函数是连续的；并且对自身策略具有凹性（凹函数必然拟凹），我自己也大概看了下文献[4]，而文献[4]什么都没有说。    真诚请教证明纯策略nash均衡的唯一性除了文献[1]中使用的海塞矩阵对角占优外，文献[3]用的是什么方法？