theorem Th6: :: TAYLOR_1:6

for x being Real
for m, n being Integer holds (exp_R x) #R (m / n) = exp_R ((m / n) * x)