aplicación formula_3 que satisface