Primitive of Arctangent of x over a/Proof 1

Proof
Let:

Then: