Podemos definir una función inyectiva (es decir, una a una) dada por formula_4, donde formula_5 es el "n"-ésimo primo.