Funcões dadas implicitamente