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