Periodicity of Hyperbolic Cosine

Theorem
Let $k \in \Z$.

Then:
 * $\cosh \left({x + 2 k \pi i}\right) = \cosh x$