State and prove the contraction mapping theorem. Let $f(x)=e^{-x}$. By considering $f(f(x))$ and using the contraction mapping theorem, show that there is a unique real number $x$ such that $x=e^{-x}$.