Power Series Expansion for Exponential of Cosine of x

Theorem
for all $x \in \R$.