First Order ODE/y dy = k dx

Theorem
Let $k \in \R$ be a real number.

The first order ODE:
 * $y \, \dfrac {\mathrm d y} {\mathrm d x} = k$

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