Seems like a problem solved, but I need help.

The point was to prove that - with relatively prime - had an infinite number of solution in positive integers . I plug to arrive at . Bezout's lemma tells me this has an infinity of solutions and hence an infinity of solutions . But if are of opposite signs, then when rises, decreases, and are not always positive are not always integers.

What am I missing?