Don't you see that ?

Actually, you can write , and assume that are non-negative integers: since that doesn't change the result.

So a solution would be:

You can solve that system in , and find .

But and have the same parity, so the solutions found belong to , and give us a proof.