General existence theorem

Every Second order linear homogeneous ODE with continuous coefficients has a fundamental set of solutions.

This is proven by handpicking two sets of initial conditions such that the Wronskian is 1 for two specific solutions to the homogeneous.

Now that we have the two, every other IVP is solved (pretty easily because variables are nice).

This also works for systems of ODEs.