theorem Th2: :: POWER:2

for a being Real
for n being Nat st n is odd holds
(- a) |^ n = - (a |^ n)