Es decir una aplicación formula_3 diferenciable que satisface formula_4 y formula_5.