theorem Th46: :: FIB_NUM2:46

for n, k being Nat st k > 1 & k < n holds
Fib k < Fib n