theorem
  X c= dom f & f|X is uniformly_continuous implies (-f)|X is
  uniformly_continuous
by Th5;
