theorem Th32: :: E_TRANS1:32

for x0 being positive Real
for f being Element of the carrier of (Polynom-Ring INT.Ring) holds (exp_R1 (#) ('F' f)) | [.0,x0.] is continuous