theorem Th16: :: FIB_NUM3:16

Lucas 4 = 7