theorem Th53:
  EvenFibs (0) = {};
