theorem LemmaGe2a: :: NUMBER06:16

for m, n being Nat st m < n & m > 4 holds
(Fib n) - (Fib m) > 2