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