Primitive of Cotangent Function/Proof