nは自然数である相異なる非負整数x_1,x_2,…,x_nについて任意のx_i,x_j(1\leq i\leq n,1\leq j \leq n)に対してとある奇素数pで割った余りがどれも等しく-2である(x_j,x_i\leq np)この時以下の式がpで何回割れるか答えよ
Π_{k=1}^{p}\quad(\sum_{1\leq i <j\leq
n}\quad2(x_ix_j)^k-4n^2 +4^kn)
ただしΠは相乗を表しΣは総和を表す
*\sum_{1\leq i <j\leq n}x_ix_jは1\leq i<j\leq nを満たすすべての整数の組(i,j)についてのx_ix_jの和を表す