Cuando formula_20, tenemos