x=2m+1,y=2n+1とおく。
x^2-y^2=4(m-n)(m+n+1)
(m-n),(m+n+1)は一方は奇数で他方は偶数。
よってkが8の倍数であることが必要。