Primitive of Hyperbolic Tangent Function/Proof 1