theorem Th61: :: FIB_NUM2:61

OddFibs 3 = <*1,2*>