De manera más general, formula_89 siempre que formula_90.