definidas en un entorno abierto formula_4 de "a" tales que