r>0 irrasyonel, 0<a<b olsun. m∈N+, 1m<min{a,b−a} olacak şekilde seçelim.
Çekmece-çorap (Güvercin yuvası) ilkesinden, ({z}=z−⌊z⌋ olmak üzere) {xr},{yr}∈[i−1m,im] olacak şekilde bir i∈{1,2,…,m} ve farklı x,y∈N+ vardır. x>y varsayabiliriz.
(Burada biraz Ekleme ve Düzeltme yaptım)
{xr}>{yr} ise
r∉Q olduğundan 0<(x−y)r−s=ur−v<1m(s=⌊xr⌋−⌊yr⌋≥0) olur.
{xr}<{yr} ise
r∉Q olduğundan −1m<(x−y)r−s<0 (s=⌊xr⌋−⌊yr⌋>0) olur.
(Arşimet özelliğinden) bir t∈N+ için −1<t((x−y)r−s)<−1+1m olur. Bu durumda da
0<ts(x−y)r−(ts−1)=ur−v<1m olur.
0<ur−v<a ve 0<ur−v<b−a olduğundan, (Arşimet özelliğinden)
bir w∈N, (w≥2) için a<w(ur−v)=nr−k<b olur.