Hyperbolic functions/R/Elementary properties/Fact