Double Angle Formula for Hyperbolic Cosine/Corollary 3