mathematical theorem which describes the location of roots of solutions of homogeneous second order linear differential equations