( dom exp_R = REAL & exp_R | REAL is continuous ) by Th65, FDIFF_1:25, FUNCT_2:def 1;
hence exp_R is continuous by RELAT_1:69; :: thesis: verum