ode existence

By the conditions on g, we obtain uniqueness of solutions. That is, no two solutions of the ode can meet.
So, if any solution should satisfy y=0 at a point, then it must be zero throughout the domain of definition.