Luego formula_84 o formula_85 Claramente, formula_86 implica formula_87 lo que dice que formula_50 es un unidad.