9.1 Integration as the Reverse of Differentiation