Chapter 2.9, Problem 27P

Show that for any real $y,\left|e^{iy}\right|=1$.

Hence show that $\left|e^x\right|=e^x$ for every complex z.