Entonces, formula_18 implica que formula_19 o formula_20 .