Verify that y = x^2 + 3 is a solution to the IVP y' = 2x , y(0) = 3