由前2n個正整數組成的集合M={m屬於N|1

由前2n個正整數組成的集合M={m屬於N|1

用A中最大的數(設為b)减去其它的數,得到n個差,它們兩兩不等,並都屬於M.
A本身有n+1個元素,而M有2n個,於是上面得到的差必有落在A中的.設c∈A使得b-c∈A.
若b-c = c,則可取a1 = b,a2 = c,成立a1 = 2*a2.
若b-c≠c,則可取a1 = c,a2 = b-c.有a1≠a2且a1+a2 = b∈A.