有个引理：
a>=b>=c, a=c，那么 a=b

然后令f是a->b的单射， g是b->a的单射，那么

a>=g[b]>=g[f(a)]  

a=f(a), b=g(b) f(a)=g[f(b)]

用引理就可以证明。


【 在 baicaigao (淡烟流水) 的大作中提到: 】
: 看到的那个构造证明，实在无法在头脑中想象出来
: 有没有简单点的能直观理解的证明方法
--
FROM 116.30.221.*