
theorem
  for X being non empty TopSpace,
  f,g be continuous Function of the carrier of X,COMPLEX
   holds f-g is continuous Function of the carrier of X,COMPLEX
proof
  let X be non empty TopSpace;
  let f,g be continuous Function of the carrier of X,COMPLEX;
  (-1)(#)g is continuous by Th5;
  hence thesis by Th4;
end;
