First Order ODE/x dy = k y dx

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

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

Proof
$(1)$ can be expressed as: