The second fundamental theorem of calculus