Para el caso de una función de tres variables formula_1 y de la variable temporal formula_2, el enunciado clásico es