theorem Th55: :: FIB_NUM2:55
EvenFibs 2 = <*1*>