theorem todd: :: FIELD_15:6

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