La prueba no es difícil,λ seamos irracionales y consideremos, para fijosn, los números (λ), (2λ),..., (nλ), donde(x) significa “parte fraccionaria de\...La prueba no es difícil,λ seamos irracionales y consideremos, para fijosn, los números (λ), (2λ),..., (nλ), donde(x) significa “parte fraccionaria dex”. Estosn puntos son puntos distintos sobre0,1); de ahí que existan dos de ellos diceniλ yjλ cuya distancia es≤1n.