Hyperbolic Functions: Catenary: Formula and Proof