f in ContinuousFunctions (S,T) ;
then ex x being Function of the carrier of S, the carrier of T st
( f = x & x is_continuous_on the carrier of S ) ;
then reconsider f = f as Function of S,T ;
f . v is VECTOR of T ;
hence f . v is VECTOR of T ; :: thesis: verum