所以,yntoW(y)(称之为V(y))的贡献是-也不是0。如果是的话-n、 那么xn=a,V(x)是-n<-N如果V(y)=0,那么V(x)60=V(y)。在这两种情况下,V(x)6v(y)(16)此外,等式在(16)中是严格的∈ {b,c}。如果严格不等式(15)和(16)都不成立,则nwe必须有yα(n)∈ {c,d}和yn∈ {d,e}。但随后yn>d>yα(n),这是一个矛盾。因此(15)和(16)中的至少一个特性对每个n都是严格的∈ α、 所以W(x)<W(y)。定理2的证明。我们将介绍以下N的划分,这将有助于定理2和定理3的证明。设q,q,··是(0,1)中所有有理数的枚举。考虑到任何∈ (0,1),L(r):={L,L,··,lk,···}和U(r):={U(r),U(r),··,uk(r),···································。Thennetl(r):={2(l!)+1,2(l!)+2,2(l!)+1,2(l!)+2, . . .} := {2(lk!)+1,2(lk!)+2:k∈ N} U(r):={2(U!)+1,2(u!)+2,2(u!)+1,2(u!)+2, . . . } := {2(英国!)+1,2(英国!)+2:k∈ N} 把LU(r):=L(r)∪ U(r)。给定s,r∈ (0,1)对于s6=r,注意L(r)6=L(s)和U(r)6=U(s),但是LU(r)=LU(s)。设I:=N\\LU(r);请注意,我并不依赖于r的选择。此外,我清楚地知道,我永远都在这里∈ (0,1)它保持着∪ L(r)∪ U(r)=N.(17)(i)=> (ii)微不足道,因为通用电气比IE更强大(iii)=> (i) 根据命题1。剩下来展示(二)=> (三)。我们用矛盾来争论。让W:YN→ R是满足IE和M的SWF,其中y:={a,b,c,d,e,f},a<b<c<d<e<f。给定(17)中的划分,公用事业流hx(R)i,hy(R)i定义如下。xt(r)=c代表t∈ 我∩ t的ODDf∈ 我∩ 伊万娜为t∈ U(r)b代表t∈ L(r)(18)yt(r)=d代表t∈ 我∩ 奥德代表t∈ 我∩ 反之亦然。(19) 我们首先声明x(r) y(r)。每个t的注释∈ LU(r),xt(r)=yt(r)。