Matiyasevich showed there is no algorithm for solving all diophantine equations. But this doesn't mean every diophantine equation is unsolvable. Prove that for every natural number n, the diophantine equation x^2 + n = y^2 is solvable.