Верно ли сформулировано определение: " Функция дифференцируема в точке, если в этой точке у неё существует производная "