k=8mなら(x、y)=(m+2,m−2)と置けば�@を満たす。よって十分