こんな時間に質問すみません。
pを4で割ると3余る素数とし、
ｆ(x1,x2,x3,x4)=x1^2+x2^2-p(x3^2+x4^2)とおいたとき、
ｆ(x1,x2,x3,x4)=0は非自明な実数解を持つが、
非自明な2進数は持たないことを示せ(mod8で考える)。

x1^2とx2^2は片方偶、片方奇
x3^2とx4^2も同様だということはわかったのですが・・(虱潰し？)。
ヒント・解答をよろしくお願いします。