Steve Herman, I plead guilty to a little hand-waving on your 1) but Harry takes care of the question nicely.
As to your 2), you're correct. My statement about (x+y) = 1 mod 16 is just wrong. What I should have written is that (x+y) is odd because it factors the odd integer 16xy+1.
No Subject
