rng (f ^ g) = (rng f) \/ (rng g) by FINSEQ_1:31;
then rng (f ^ g) c= REAL by XBOOLE_1:8;
hence f ^ g is real-valued by VALUED_0:def 3; :: thesis: verum