theorem Th6: :: NOMIN_9:6

Lucas_Sequence (0,1,1,(- 1)) = Fib