강의에서는 함수 f(x)가 x=a에서 미분 가능하다 하면 연속인 것과 미분계수가 존재하는 것을 확인하라고 말씀하셨는데, 46쪽에 미분계수가 존재할 때 미분가능하다고 하고, '미분가능하면 연속이다'라는 명제의 증명 과정이 나와 있어서요. 그럼 실질적으로 미분가능성을 조사할 때도 미분계수가 존재하는지만 확인하면 되는 건가요?