theorem Th60: :: FIB_NUM2:60

OddFibs 1 = <*1*>