Обсуждение:Интеграл с переменным верхним пределом

При доказательстве первого свойства интеграла с переменным верхним пределом используется формула Ньютона-Лейбница, которая доказывается с использованием этого свойства позже. Вам не кажется, что г-н Додонов нас обманул? UPD: нет, видимо, формула Ньютона-Лейбница не использует свойства, но все равно этот момент какой-то мутный.