  We prove a closed formula for the derivative, of any order, of a implicit
function, in terms of some binomial building blocks, and explain the
combinatorics behind the coefficients appearing in the formula.
