Hyperbolic Cosine of Sum/Corollary

Corollary of Hyperbolic Cosine of Sum

 * $\cosh \left({a - b}\right) = \cosh a \cosh b - \sinh a \sinh b$

where $\sinh$ denotes the hyperbolic sine and $\cosh$ denotes the hyperbolic cosine.