Здравствуйте. Не могли бы подсказать при доказательстве теоремы о интегралах

от непрерывной функции

по переменному нижнему пределу равняется

применяется теорема о среднем, но в теореме о среднем имеетстя ввиду некоторая точка а в этом равенстве берется определенная x. Каким образом это доказывается. Спасибо. Т.е. мне не до конца не понятна формула Ньютона Лейбница равенство интеграла

это первообразные по нижнему и верхнему пределу. Т.е. какой берется нижний предел, если как я понял верхний - это

. Спасибо.