theorem
  for T being non empty TopSpace, T1, T2 being SubSpace of T,
      p1,p2 being Point of T
  for f being Function of T1,S, g being Function of T2,S st
  ([#] T1) \/ ([#] T2) = [#] T & ([#] T1) /\ ([#] T2) = {p1,p2} &
  T1 is compact & T2 is compact & T is T_2 & f is continuous & g is continuous
  & f.p1 = g.p1 & f.p2 = g.p2 holds f+*g is continuous Function of T,S
proof
  let T be non empty TopSpace, T1, T2 be SubSpace of T, p1,p2 be Point of T;
  let f be Function of T1,S, g be Function of T2,S;
  assume
A1: ([#] T1) \/ ([#] T2) = [#] T & ([#] T1) /\ ([#] T2) = {p1,p2} &
    T1 is compact & T2 is compact & T is T_2 & f is continuous &
    g is continuous;
  assume  f.p1 = g.p1 & f.p2 = g.p2;
  then f|{p1,p2} tolerates g|{p1,p2} by PARTFUN1:82;
  hence thesis by A1,Lm1;
end;
