First Order ODE/y dx + x dy = 0

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

has the general solution:
 * $x y = C$

Proof
$(1)$ can be expressed as: