for i, j being Integer
for p being Prime
for gi, gj, gij, a being Element of (GF p) st gi = i mod p & gj = j mod p & gij = (i - j) mod p holds
(gi * a) - (gj * a) = gij * a