theorem LFIB5: :: NTALGO_2:17

Fib 5 = 5