theorem Th19: :: EC_PF_2:19

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 & j = i + 1 holds
(gi * a) + a = gj * a