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.