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).