Find all $x,y\in \mathbb{N}$ such that: $2^x+17=y^2$.
Its easy to find that $x=6$ is the only even value for $x$, the others have to be odd. One more thing is that we get $y^2 \equiv 19 \pmod p$, for every prime factor of $x$. But I have no ides what next to do.