theorem Th22: :: EC_PF_2:22

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