theorem
  f is_uniformly_continuous_on X implies -f is_uniformly_continuous_on X
proof
A1: -f = (-1)(#)f by VFUNCT_1:23;
  assume f is_uniformly_continuous_on X;
  hence thesis by A1,Th4;
end;
