First Order ODE/(1 + x^2) y' + x y = 0

Theorem
The second order ODE:
 * $\left({1 + x^2}\right) y' + x y = 0$

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