Sean $p_1, p_2, ..., p_k$ $k$ primos diferentes. Consideramos todos los enteros positivos que usan solo estos primos (no necesariamente todos) en su factorización prima, y ordenamos esos números en orden creciente, formando una secuencia infinita: $a_1 < a_2 < ... < a_n < ...$ Prueba que, para cada número $c$ , existe $n$ tal que $a_{n+1} -a_n > c$ .