tiene soluciones en los números naturales no es computable.