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