Ahora bien, supongamos que queremos saber si la solución de la ecuación existe en el conjunto de los números naturales.