theorem LemmaFib0: :: NUMBER06:10

for k being Nat st k > 0 holds
Fib k > 0