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

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