I only skim-read it, but I think the important fact is to note that x^2 must be in progression D. So adding 5y, you're still in progression D, contradiction.
Edit-as it is, I think your proof basically works, but you might need to tighten up a few bits.