Show that the Jacobian J in (4) is nonsingular.
Having determined that v is differentiable, let us now compute its derivative. To simplify the notation, we will suppress the arguments of the derivatives. Let fx denote Dx f [x0, θ0], the (partial) derivative of f with respect to x evaluated at (x0, θ0).