Derivative of Arccotangent Function/Proof 2