Theorem: The following formula holds: $$\cos(z)= \displaystyle\sum_{k=0}^{\infty} \dfrac{(-1)^k z^{2k}}{(2k)!},$$ where $\cos$ denotes the cosine function.
Proof: █
