用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.