اولین قضیه بنیادی انتگرال‌، مشتق گیری از تابع انتگرال