Hyperbolic Sine of Sum/Corollary

Corollary of Hyperbolic Sine of Sum

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

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