Hyperbolic Cosine of Sum/Corollary

Corollary of Hyperbolic Cosine of Sum

 * $\map \cosh {a - b} = \cosh a \cosh b - \sinh a \sinh b$

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