First Order ODE/x dy = k y dx

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

has the solution:
 * $y = C x^k$

Proof
$(1)$ can be expressed as: