theorem Th8: :: NOMIN_9:8

for a, b being Nat holds Lucas_Sequence (a,b,1,(- 1)) = GenFib (a,b)