theorem Th20: :: EC_PF_2:20

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