implicit function theorem

a theorem that gives conditions under which a function written in implicit form can be written in explicit form.