reserve A, B, X, Y for set;
reserve R, S, T for non empty TopSpace;

theorem Th42:
  <:pr2(the carrier of S,the carrier of T), pr1(the carrier of S,
  the carrier of T):> is continuous Function of [:S,T:],[:T,S:]
proof
  pr1(the carrier of S,the carrier of T) is continuous Function of [:S,T:]
,S & pr2(the carrier of S,the carrier of T) is continuous Function of [:S,T:],T
  by Th39,Th40;
  hence thesis by Th41;
end;
