Derivative of Arccotangent Function/Proof 1