원함수의 도함수가 0이 아니다가 필요충분조건임?

역함수가 미분가능한지 모르면 미분가능성을 조사해야하는거 아니야?