Y formula_21 Entonces, se cumple que formula_22 o formula_23