Demostración Dada la definición de la operación se sigue el resultado ya que formula_59 debido a que formula_50 para todo formula_29.