Верно ли, что, если функция на некотором интервале строго монотонно убывает, то её производная в каждый точке этого интервала отрицательна?