theorem Th24: :: EC_PF_2:24

for p being Prime
for g2, a being Element of (GF p) st g2 = 2 mod p holds
(g2 * a) - a = a