entonces formula_67, es decir que todos los números naturales formula_55 tienen la propiedad formula_61.