set a = the Point of T;
S --> the Point of T is continuous ;
hence ex b₁ being Function of S,T st b₁ is continuous ; :: thesis: verum