For continuously differentiable coefficients on a simply connected domain, the exactness condition is . Locally the same condition suffices without a global topological assumption. An exact first-order ordinary differential equation has a potential with and , so along a solution. Thus its implicit solution is . One local construction, on a rectangle about , is
The equality of cross derivatives verifies both required derivatives; on a simply connected domain one may use the corresponding path-independent integral of the exact differential form.
Here , and . Integrating with respect to gives . Matching gives , so take . The initial value sets . Therefore
This is the requested explicit relation between the coordinates. Since , the implicit function theorem gives a unique local graph through the initial point, with slope .