Derivative of Arctangent Function/Proof 1