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