Consider
          

Assuming that the conditions for the implicit differentiation are satisfied, we get

Thus, , which gives
          

This allows us to compute the derivative at any point which satisfies the relation . For example at .