Derivative of Arctangent Function/Proof 2