Hyperbolic functions/Addition theorems/Exercise