The first fundamental theorem of calculus.