Primitive of Arccotangent of x over a/Proof 1

Proof
Let:

Then: