Show that if is an integral surface of containing a point , then the surface contains the characteristic curve passing through . (Assume the vector field is , which means that the first derivative exists everywhere).
It is required to prove that .
Let and .
Now, show that .
From the mean value theorem, at some point the last equation equals .
This is true iff