$ax + by = 1$

最后的解 $x > -b$ 这一结论正确吗?

结论的正确性与递归到最后$a = 1, b = 0$ 时 $y$ 的取值有关吗？

为什么？