평균값 정리를 사용해서 미분하면 f'[x]가 되는 함수가 f(x)+c(단, c는 적분상수) 밖에 없음을 증명할 수 있다는데 어떤 식으로 해야하나요?