theorem Th15: :: FIB_NUM3:15

Lucas 3 = 4