theorem FibGe3: :: NUMBER06:14

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