I had kind of a general question. Say I have a second order, homogeneous ODE. Say I use one of the general techniques to generate a complementary solution for my ODE and I end up with something of the form y = C1(solution1) + C2(solution2) Am I gauranteed that these two solutions will be linearly independent or do I need to verify with the Wronskian each time? Also, can I think of linearly independent solutions as a "basis" like I do in linear algebra? It seems like it because its my understanding that any solution for the ODE is simply a linear combination of solutions in this "basis" Also, can we tell the dimensions of this basis based on the order of the ODE? Like, a second order ODE has two solutions in its basis, a third order has 3, a first order has one, etc. Thanks!