Berlaku \(nx<m\leq nx+1<ny\text{.}\) Karena itu \(x<m/n<y\text{,}\) dan \(m/n\in\Q\) adalah bilangan rasional yang dicari.