Derivative of Square Function/Proof 1