폐구간에서 연속함수인 f(x)에 대해

f(x)에 대한 정적분으로 정의된 함수는 f(x)의 부정적분 중 하나이다.