theorem
  X c= dom f & f|X is constant implies f|X is uniformly_continuous by Th10;
