Dear Dr Sardonicus, I read your proof and found no fault. Apparently it is perfect. Congratulations. I think the way I asked already giving the answers helped. Now, the challenge is to find at least one other form of proof where you use the sum of two squares theorem. A very interesting surprise will appear, and that is the only hint for now.
