State and justify the existence-uniqueness theorem for ay'' + by' + cy = q(x) , y(x_0) = y_0 ,