Double Angle Formula for Hyperbolic Cosine/Corollary 1

Corollary to Double Angle Formula for Hyperbolic Cosine

 * $\cosh 2 x = 2 \cosh^2 x - 1$

where $\cosh$ denotes hyperbolic cosine.