theorem t2: :: FIELD_15:7

for R being 2 -characteristic Ring
for a being Element of R holds - a = a