Definition:Lucas Sequence