donde formula_6 es el conjunto de números enteros positivos.