Doka�te, �e
$$
\sum _{n=0}^{\infty }{\frac {\cos(nx)}{n!}}={e
^{\cos(x)}}\cos(\sin(x)) \quad .
$$
