y si formula_19, existe formula_20 en formula_2 tal que