9.3.2 Verification of the Mid-PointFormula