Linear First Order ODE/(1 + x^2) y' + 2 x y = 4 x^3

Theorem
The linear first order ODE:
 * $\left({1 + x^2}\right) \dfrac {\mathrm d y} {\mathrm d x} + 2 x y = 4 x^3$

has the solution:
 * $y = \dfrac {x^4} {1 + x^2} + \dfrac C {1 + x^2}$

Proof
It is noticed that:
 * $\dfrac {\mathrm d} {\mathrm d x} \left({1 + x^2}\right) = 2 x$

and so $(1)$ can be rendered in the form: