theorem Th53: :: FIB_NUM2:53

EvenFibs 0 = {} ;