Question 618977
If a is odd, it turns out that *[tex \LARGE a^2 \equiv 1 (mod 4)]. Similarly, *[tex \LARGE b^2 \equiv 1 (mod 4)], so


*[tex \LARGE a^2 + b^2 \equiv 2 (mod 4)], therefore it is even but not a multiple of 4.