consider f being continuous Function of S,T;
f in the carrier of (SCMaps S,T) by Def2;
hence not SCMaps S,T is empty ; :: thesis: verum