theorem Th23: :: EC_PF_2:23

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) - a = gj * a