theorem LemmaGe1: :: NUMBER06:15

for m, n being Nat st m < n & m > 3 holds
(Fib n) - (Fib m) > 1