theorem Th68: :: FIB_NUM2:68

for n being non zero Nat
for m being Nat st m <> 1 & m divides Fib n holds
not m divides Fib (n -' 1)