First Order ODE/y dx + x dy = 0

Theorem
The first order ODE:
 * $(1): \quad y \, \mathrm d x + x \, \mathrm d y = 0$

has the solution:
 * $x y = C$

Proof
$(1)$ can be expressed as: