정리: f 는 폐구간 a, b 에서 연속이면
f는 부정적분을 갖는데 그것은 intgral a에서 x까지 f(t)dt이다.

이정리의 증명에서 
pf) claim d/dx integral a에서 x까지 f(t)dt = f(x)

라고 하는데 claim 증명해도 정리가 증명이 되나요?

- dc official App