9.3 Remainder Theorem and Lagrange Error Bound