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