theorem :: FIB_NUM2:45

for m, n being Nat st m >= n holds
Fib m >= Fib n