theorem Th38: :: FIB_NUM3:38

for n being Element of NAT holds GenFib (2,1,n) = Lucas n