Second Order ODE/y'' = 1 + (y')^2

Theorem
The second order ODE:
 * $(1): \quad y'' = 1 + \paren {y'}^2$

has the general solution:
 * $y = \map {\ln \sec} {x + C_1} + C_2$