n∈N+ olmak üzere "iyi " kümenin eleman sayısının üçten fazla olduğunu ve her biri pozitif reel sayı olan ,x1,x2,x3,x4,...,xn şeklindeki n>3 tane elemandan oluştuğunu kabul edelim. Ayrıca bu elemanların 0<x1<x2<...<xn şeklinde sıralı olduğunu da düşünelim. Bunu böyle düşünmemizin "iyi" küme tanımına aykırı olmadığı açıktır.
Bu kümeden (n2) sayıda farklı ikililer seçebiliriz. O halde (1≤i,j≤n), i≠j olmak kaydıyla |xi−xj| lerin sayısı (n2) kadardır. O zaman elimizde n−2 adet |xi−xj|xk şeklinde birbirinden farklı kesir var demektir. (i≠j≠k≠i). Bu (n−2) kesirlerinin her biri bizim "iyi" kümemizin elemanı olmak zorundadır.
Demek ki (n2).(n−2)≤n⇒n.(n−1)2.(n−2)≤n⇒(n−1)(n−2)≤2⇒n(n−3)≤0⇒n≤3 elde edilir.