Primitive of Hyperbolic Sine of a x by Hyperbolic Cosine of a x/Proof 1