theorem Th2: :: FIB_NUM2:2

for n being odd Integer holds (- 1) to_power n = - 1