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