Basic implicit differential calculus