Furthermore, P ( y ) is a continuous function. This follows from the theorem that solutions of differential equations depend continuously on initial conditions, if the vector field is smooth enough. And finally, P ( y ) is a monotonic function. (By drawing pictures, you can convince yourself that if P ( y ) were not monotonic, two trajectories would cross and that's forbidden.)