theorem Th55: :: FIB_NUM2:55

EvenFibs 2 = <*1*>