theorem Th22: :: FIB_NUM2:22

Fib 3 = 2