theorem Th8: :: POLYFORM:9

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