Very good stuff but you forgot which region you are looking at. Someone here might say, oh we did it with some irrational number like \sqrt{2} where \left(\sqrt{2}\right)^{2}+2=4. This is why instead of
Hence, there exists no n such that n^2 + 2 is divisible by 4.
It should be
Hence, there...