theorem :: FIB_NUM3:37

for n being Element of NAT holds GenFib (0,1,n) = Fib n