theorem FibGe2: :: NUMBER06:9

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