theorem Th53: :: SIN_COS:54

for th being Real holds exp_R . th > 0