En donde formula_40 es diferente a formula_38, dado que formula_42 es diferente a formula_43.