theorem Th41: :: FIB_NUM2:41

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