�y��vlog

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