어떤 함수 f:[0,1]->R이 (0,1)에서 미분가능하다면, 그 도함수 f'은 [0,1]에서 (리만)적분 가능하다