我们的目的是通过考虑将z处的质量分裂为z处大小为q的质量的影响,来证明ν不能对应于对称纳什均衡- ε与amass的大小-q在z+ε处,其中q<< p和ε>>ε、 以这样一种方式使海洋得以保存。让测量值σ由fσ(x)给出=Fν(x),如果x∈ [0,z-ε) ∪[z+ε,∞),Fν(x)+q,如果x∈ [z]-ε、 z),Fν(x)- (p-q) ,如果x∈ [z,z+ε),其中ε∈ (0,(1-θ) zp1+θp),ε∈ ((1+θp)ε(1)-θ) p,z)和q=εpε+ε∈(0,p)。注意(z)- ε) q+(z+ε)(p-q) =zp,因此Fν和Fσ具有相同的平均值。28 H.FENG和D.Hobson那么Cσ(x)=Cν(x)如果x∈ [0,z-ε) ∪[z+ε,∞), Cσ(x)=Cν(x)+[x-(z)-ε) [q如果x∈ [z]-ε、 z)和Cσ(x)=Cν(x)+(z+ε-x) (p-q) 如果x∈[z,z+ε)。这意味着Cσ(x)≥Cν(x)≥Cu(x)。因此,σ是强容许的。假设玩家2选择了定律ν。那么vσ,ν-Vν,ν=Fν((z)- ε)-)q+Fν((z+ε)-)(p- q)-Fν(z)-)P-θp+θν({z-ε} q+θν({z+ε})(p-q)≥ Fν((z)- ε)-)q+Fν((z+ε)-)(p- q)-Fν(z)-)P-θp=p[Fν((z+ε)-) -Fν(z)-)]εε+ ε-[Fν(z)-) -Fν((z)- ε)-)]εε+ ε-θp.自Fν((z+ε)-) - Fν(z)-) ≥ p和0≤Fν(z)-) -Fν((z)-ε)-) ≤1,Vσ,ν-Vν,ν≥Pε+εp-εε+ ε-θp= pε(1)-θ) p-(1+θp)ε+ε>0,这与(ν,ν)是纳什均衡的假设相矛盾。因此,Fν(x)在(0)上是连续的,∞).第三,我们考虑原子为零的可能性。假设(ν,ν)是对称纳什均衡,并设置p=Fν(0)和pu=Fu(0)。因为在定理的第一部分,ν必须是强(而不仅仅是弱)容许的,ucxν,我们必须有p≥ pu。假设p>pu;我们想得出一个矛盾。修正任意q,使0<q<min{p√1.-θ, 1 -p} 。因为通过上面的论证,我们必须知道Fν在(0)上是连续的,∞),存在ε>0,使得ν((0,ε))=q,然后Fν(ε)=p+q。