Asimismo, formula_9 es al menos tan buena como formula_3, si formula_1 es igual a formula_11 e formula_17 es mayor o igual a formula_2