ある集合Aを2つの集合X,Yにわけ、
A,X,Yの要素の数をv,x,yとする。
ある数列{a_n}を考え、
0<a_1≦a_2≦･･･≦a_v
とする。
もし、a_m<mかつa_(v-m+1)<v-mとなる、
m<(v+1)/2が存在しなければ、
x=yであることを示せ。
ただし、
x・y≠0
Σ[i=1..v]a_n=x・yとする。