theorem Th14: :: FIB_NUM3:14

Lucas 2 = 3