theorem :: POWER:8

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