7.2 Verifying Solutions for Differential Equations