어떤 두 함수가 미분을 통해 동치를 이루고 x=a (a는 실수)에서 같은 함숫값을 지닌다면 두 함수는 동일한 함수이다.