theorem Th10: :: NOMIN_9:10

Lucas_Sequence (2,1,1,(- 1)) = Lucas