theorem Th53: :: FIB_NUM2:53
EvenFibs 0 = {} ;