First Order ODE/y dy = k dx

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

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