Double Angle Formula for Hyperbolic Cosine/Corollary 1

Corollary to Double Angle Formula for Hyperbolic Cosine

 * $\cosh \left({2 x}\right) = 2 \cosh^2 x - 1$

where $\cosh$ denotes hyperbolic cosine.