theorem teven: :: FIELD_15:5

for R being Ring
for a being Element of R
for n being even Nat holds (- a) |^ n = a |^ n