Linear First Order ODE/x dy + y dx = x cosine x dx/Proof 2