A: dom exp_R = REAL by FUNCT_2:def 1;
exp_R | REAL is continuous by Th71, FDIFF_1:33;
hence exp_R is continuous by A, RELAT_1:98; :: thesis: verum