Verifying a Differential Equation involoving e^x (5.4 p349 #69)