Primitive of Reciprocal of x squared minus a squared/Inverse Hyperbolic Cotangent Form/Proof

Proof
Let $\size x > a$.

Let: