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