theorem :: FIB_NUM3:50

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