theorem Th10: :: POWER:10

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