Y_1 - Y_0 >= X_1 -X_0
X ها مئ توانند تغییر کنند اگر Y_1 -Y_0 <1 باشد X_1 را به سمت 1 و X_0 را به سمت 0 میل می دهیم و بین Y_1 - Y_0 و 1 بینهایت عدد حقیقی وجود دارد پس
Y_1 - Y_0 >1 می باشد.همینطور Y_i+1 - y_i > 1 می باشد
پس A مجموعه ای است که حد اقل n+1 عضو دارد که بتوان به صورت n_Y_0 <y_1<....<Y
نمایش داد. که y_i+1 - y_i >=1 باشد.