theorem Th23: :: FIB_NUM2:23

Fib 4 = 3