es resoluble en los números naturales (si se tiene un algoritmo para determinar la resolubilidad en racionales no negativos, podrá usarse fácilmente para determinar la resolubilidad en los racionales).