Proving Derivative From Integral