theorem Th47: :: FIB_NUM2:47

for k being Nat holds
( Fib k = 1 iff ( k = 1 or k = 2 ) )