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