theorem Th11: :: FIB_NUM2:11

for n being Nat holds (- 1) to_power (- n) = (- 1) to_power n