Hyperbolic Cosine minus Hyperbolic Cosine/Proof 1