theorem FibGe2a: :: NUMBER06:13

for n being Nat st n > 2 holds
Fib n >= 2