for k being Nat
for n being non zero Element of NAT holds Fib n divides Fib (n * k)