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