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

Theorem
The first order ODE:
 * $\paren {1 + x^2} y' + x y = 0$

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