entonces la aplicación formula_85 satisface