theorem Fib5: :: NUMBER06:46

Fib 5 = 5