Hyperbolic functions/R/Elementary properties/Fact/Proof/Exercise