"Se dirá que formula_10 o formula_11 solo si formula_1 es menor que formula_13.