Puede demostrarse que para una función formula_26 definida en un entorno de formula_27 se tiene que: