Sé que el teorema de que el conjunto de de los racionales es denso en dice:
Para cada y cada una de las , existen , con tal que
Pero ¿qué pasa si tengo que cambiar la condición de " " por " son ambos primos". ¿El teorema todavía? En otras palabras, me pregunto si se cumple lo siguiente:
Para cada y cada una de las , existen , , donde es el conjunto de los números primos, de tal manera que