Primitive of Inverse Hyperbolic Cosine of x over a over x/Corollary

Theorem
where $-\cosh^{-1}$ denotes the negative branch of the real inverse hyperbolic cosine multifunction.