theorem Th43: :: FIB_NUM2:43

for n being Nat holds Fib n <= Fib (n + 1)