Linear First Order ODE/x y' + y = x^2 cosine x/Proof 2