theorem Th46: :: SIN_COS:47

dom exp_R = REAL by FUNCT_2:def 1;