theorem Th18: :: EC_PF_2:18

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