Solve in Z :
Solution : never divides , so this equation has no solutions in
Proof : . Apply an exhaustive search on (since values wrap around beyond this interval), and prove that none of the values of the quadratic modulo are divisible by .
Sorry, didn't come up with anything smarter yet