theorem Th21: :: FIB_NUM2:21

Fib 2 = 1