Por ejemplo, formula_90 satisface