Prosthaphaeresis Formulas/Hyperbolic Cosine minus Hyperbolic Cosine/Proof 1