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